Ignore:
Timestamp:
Mar 28, 2013, 1:02:48 PM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/semanticsUtils.ml

    r2997 r3001  
    168168    (ByteValues.beval BitVectorTrie.bitVectorTrie -> ByteValues.bebit -> 'a1)
    169169    -> hw_register_env -> 'a1 **)
    170 let rec hw_register_env_rect_Type4 h_mk_hw_register_env x_1947 =
    171   let { reg_env = reg_env0; other_bit = other_bit0 } = x_1947 in
     170let rec hw_register_env_rect_Type4 h_mk_hw_register_env x_15811 =
     171  let { reg_env = reg_env0; other_bit = other_bit0 } = x_15811 in
    172172  h_mk_hw_register_env reg_env0 other_bit0
    173173
     
    175175    (ByteValues.beval BitVectorTrie.bitVectorTrie -> ByteValues.bebit -> 'a1)
    176176    -> hw_register_env -> 'a1 **)
    177 let rec hw_register_env_rect_Type5 h_mk_hw_register_env x_1949 =
    178   let { reg_env = reg_env0; other_bit = other_bit0 } = x_1949 in
     177let rec hw_register_env_rect_Type5 h_mk_hw_register_env x_15813 =
     178  let { reg_env = reg_env0; other_bit = other_bit0 } = x_15813 in
    179179  h_mk_hw_register_env reg_env0 other_bit0
    180180
     
    182182    (ByteValues.beval BitVectorTrie.bitVectorTrie -> ByteValues.bebit -> 'a1)
    183183    -> hw_register_env -> 'a1 **)
    184 let rec hw_register_env_rect_Type3 h_mk_hw_register_env x_1951 =
    185   let { reg_env = reg_env0; other_bit = other_bit0 } = x_1951 in
     184let rec hw_register_env_rect_Type3 h_mk_hw_register_env x_15815 =
     185  let { reg_env = reg_env0; other_bit = other_bit0 } = x_15815 in
    186186  h_mk_hw_register_env reg_env0 other_bit0
    187187
     
    189189    (ByteValues.beval BitVectorTrie.bitVectorTrie -> ByteValues.bebit -> 'a1)
    190190    -> hw_register_env -> 'a1 **)
    191 let rec hw_register_env_rect_Type2 h_mk_hw_register_env x_1953 =
    192   let { reg_env = reg_env0; other_bit = other_bit0 } = x_1953 in
     191let rec hw_register_env_rect_Type2 h_mk_hw_register_env x_15817 =
     192  let { reg_env = reg_env0; other_bit = other_bit0 } = x_15817 in
    193193  h_mk_hw_register_env reg_env0 other_bit0
    194194
     
    196196    (ByteValues.beval BitVectorTrie.bitVectorTrie -> ByteValues.bebit -> 'a1)
    197197    -> hw_register_env -> 'a1 **)
    198 let rec hw_register_env_rect_Type1 h_mk_hw_register_env x_1955 =
    199   let { reg_env = reg_env0; other_bit = other_bit0 } = x_1955 in
     198let rec hw_register_env_rect_Type1 h_mk_hw_register_env x_15819 =
     199  let { reg_env = reg_env0; other_bit = other_bit0 } = x_15819 in
    200200  h_mk_hw_register_env reg_env0 other_bit0
    201201
     
    203203    (ByteValues.beval BitVectorTrie.bitVectorTrie -> ByteValues.bebit -> 'a1)
    204204    -> hw_register_env -> 'a1 **)
    205 let rec hw_register_env_rect_Type0 h_mk_hw_register_env x_1957 =
    206   let { reg_env = reg_env0; other_bit = other_bit0 } = x_1957 in
     205let rec hw_register_env_rect_Type0 h_mk_hw_register_env x_15821 =
     206  let { reg_env = reg_env0; other_bit = other_bit0 } = x_15821 in
    207207  h_mk_hw_register_env reg_env0 other_bit0
    208208
     
    319319    -> (Joint.joint_program -> Joint.joint_closed_internal_function) -> 'a1)
    320320    -> sem_graph_params -> 'a1 **)
    321 let rec sem_graph_params_rect_Type4 h_mk_sem_graph_params x_1973 =
     321let rec sem_graph_params_rect_Type4 h_mk_sem_graph_params x_15837 =
    322322  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0; graph_pre_main_generator =
    323     graph_pre_main_generator0 } = x_1973
     323    graph_pre_main_generator0 } = x_15837
    324324  in
    325325  h_mk_sem_graph_params sgp_pars0 sgp_sup0 graph_pre_main_generator0
     
    329329    -> (Joint.joint_program -> Joint.joint_closed_internal_function) -> 'a1)
    330330    -> sem_graph_params -> 'a1 **)
    331 let rec sem_graph_params_rect_Type5 h_mk_sem_graph_params x_1975 =
     331let rec sem_graph_params_rect_Type5 h_mk_sem_graph_params x_15839 =
    332332  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0; graph_pre_main_generator =
    333     graph_pre_main_generator0 } = x_1975
     333    graph_pre_main_generator0 } = x_15839
    334334  in
    335335  h_mk_sem_graph_params sgp_pars0 sgp_sup0 graph_pre_main_generator0
     
    339339    -> (Joint.joint_program -> Joint.joint_closed_internal_function) -> 'a1)
    340340    -> sem_graph_params -> 'a1 **)
    341 let rec sem_graph_params_rect_Type3 h_mk_sem_graph_params x_1977 =
     341let rec sem_graph_params_rect_Type3 h_mk_sem_graph_params x_15841 =
    342342  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0; graph_pre_main_generator =
    343     graph_pre_main_generator0 } = x_1977
     343    graph_pre_main_generator0 } = x_15841
    344344  in
    345345  h_mk_sem_graph_params sgp_pars0 sgp_sup0 graph_pre_main_generator0
     
    349349    -> (Joint.joint_program -> Joint.joint_closed_internal_function) -> 'a1)
    350350    -> sem_graph_params -> 'a1 **)
    351 let rec sem_graph_params_rect_Type2 h_mk_sem_graph_params x_1979 =
     351let rec sem_graph_params_rect_Type2 h_mk_sem_graph_params x_15843 =
    352352  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0; graph_pre_main_generator =
    353     graph_pre_main_generator0 } = x_1979
     353    graph_pre_main_generator0 } = x_15843
    354354  in
    355355  h_mk_sem_graph_params sgp_pars0 sgp_sup0 graph_pre_main_generator0
     
    359359    -> (Joint.joint_program -> Joint.joint_closed_internal_function) -> 'a1)
    360360    -> sem_graph_params -> 'a1 **)
    361 let rec sem_graph_params_rect_Type1 h_mk_sem_graph_params x_1981 =
     361let rec sem_graph_params_rect_Type1 h_mk_sem_graph_params x_15845 =
    362362  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0; graph_pre_main_generator =
    363     graph_pre_main_generator0 } = x_1981
     363    graph_pre_main_generator0 } = x_15845
    364364  in
    365365  h_mk_sem_graph_params sgp_pars0 sgp_sup0 graph_pre_main_generator0
     
    369369    -> (Joint.joint_program -> Joint.joint_closed_internal_function) -> 'a1)
    370370    -> sem_graph_params -> 'a1 **)
    371 let rec sem_graph_params_rect_Type0 h_mk_sem_graph_params x_1983 =
     371let rec sem_graph_params_rect_Type0 h_mk_sem_graph_params x_15847 =
    372372  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0; graph_pre_main_generator =
    373     graph_pre_main_generator0 } = x_1983
     373    graph_pre_main_generator0 } = x_15847
    374374  in
    375375  h_mk_sem_graph_params sgp_pars0 sgp_sup0 graph_pre_main_generator0
     
    501501    -> (Joint.joint_program -> Joint.joint_closed_internal_function) -> 'a1)
    502502    -> sem_lin_params -> 'a1 **)
    503 let rec sem_lin_params_rect_Type4 h_mk_sem_lin_params x_2000 =
     503let rec sem_lin_params_rect_Type4 h_mk_sem_lin_params x_15864 =
    504504  let { slp_pars = slp_pars0; slp_sup = slp_sup0; lin_pre_main_generator =
    505     lin_pre_main_generator0 } = x_2000
     505    lin_pre_main_generator0 } = x_15864
    506506  in
    507507  h_mk_sem_lin_params slp_pars0 slp_sup0 lin_pre_main_generator0
     
    511511    -> (Joint.joint_program -> Joint.joint_closed_internal_function) -> 'a1)
    512512    -> sem_lin_params -> 'a1 **)
    513 let rec sem_lin_params_rect_Type5 h_mk_sem_lin_params x_2002 =
     513let rec sem_lin_params_rect_Type5 h_mk_sem_lin_params x_15866 =
    514514  let { slp_pars = slp_pars0; slp_sup = slp_sup0; lin_pre_main_generator =
    515     lin_pre_main_generator0 } = x_2002
     515    lin_pre_main_generator0 } = x_15866
    516516  in
    517517  h_mk_sem_lin_params slp_pars0 slp_sup0 lin_pre_main_generator0
     
    521521    -> (Joint.joint_program -> Joint.joint_closed_internal_function) -> 'a1)
    522522    -> sem_lin_params -> 'a1 **)
    523 let rec sem_lin_params_rect_Type3 h_mk_sem_lin_params x_2004 =
     523let rec sem_lin_params_rect_Type3 h_mk_sem_lin_params x_15868 =
    524524  let { slp_pars = slp_pars0; slp_sup = slp_sup0; lin_pre_main_generator =
    525     lin_pre_main_generator0 } = x_2004
     525    lin_pre_main_generator0 } = x_15868
    526526  in
    527527  h_mk_sem_lin_params slp_pars0 slp_sup0 lin_pre_main_generator0
     
    531531    -> (Joint.joint_program -> Joint.joint_closed_internal_function) -> 'a1)
    532532    -> sem_lin_params -> 'a1 **)
    533 let rec sem_lin_params_rect_Type2 h_mk_sem_lin_params x_2006 =
     533let rec sem_lin_params_rect_Type2 h_mk_sem_lin_params x_15870 =
    534534  let { slp_pars = slp_pars0; slp_sup = slp_sup0; lin_pre_main_generator =
    535     lin_pre_main_generator0 } = x_2006
     535    lin_pre_main_generator0 } = x_15870
    536536  in
    537537  h_mk_sem_lin_params slp_pars0 slp_sup0 lin_pre_main_generator0
     
    541541    -> (Joint.joint_program -> Joint.joint_closed_internal_function) -> 'a1)
    542542    -> sem_lin_params -> 'a1 **)
    543 let rec sem_lin_params_rect_Type1 h_mk_sem_lin_params x_2008 =
     543let rec sem_lin_params_rect_Type1 h_mk_sem_lin_params x_15872 =
    544544  let { slp_pars = slp_pars0; slp_sup = slp_sup0; lin_pre_main_generator =
    545     lin_pre_main_generator0 } = x_2008
     545    lin_pre_main_generator0 } = x_15872
    546546  in
    547547  h_mk_sem_lin_params slp_pars0 slp_sup0 lin_pre_main_generator0
     
    551551    -> (Joint.joint_program -> Joint.joint_closed_internal_function) -> 'a1)
    552552    -> sem_lin_params -> 'a1 **)
    553 let rec sem_lin_params_rect_Type0 h_mk_sem_lin_params x_2010 =
     553let rec sem_lin_params_rect_Type0 h_mk_sem_lin_params x_15874 =
    554554  let { slp_pars = slp_pars0; slp_sup = slp_sup0; lin_pre_main_generator =
    555     lin_pre_main_generator0 } = x_2010
     555    lin_pre_main_generator0 } = x_15874
    556556  in
    557557  h_mk_sem_lin_params slp_pars0 slp_sup0 lin_pre_main_generator0
Note: See TracChangeset for help on using the changeset viewer.