Ignore:
Timestamp:
Mar 27, 2013, 4:03:51 PM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/semanticsUtils.ml

    r2960 r2974  
    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_432 =
    171   let { reg_env = reg_env0; other_bit = other_bit0 } = x_432 in
     170let rec hw_register_env_rect_Type4 h_mk_hw_register_env x_101 =
     171  let { reg_env = reg_env0; other_bit = other_bit0 } = x_101 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_434 =
    178   let { reg_env = reg_env0; other_bit = other_bit0 } = x_434 in
     177let rec hw_register_env_rect_Type5 h_mk_hw_register_env x_103 =
     178  let { reg_env = reg_env0; other_bit = other_bit0 } = x_103 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_436 =
    185   let { reg_env = reg_env0; other_bit = other_bit0 } = x_436 in
     184let rec hw_register_env_rect_Type3 h_mk_hw_register_env x_105 =
     185  let { reg_env = reg_env0; other_bit = other_bit0 } = x_105 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_438 =
    192   let { reg_env = reg_env0; other_bit = other_bit0 } = x_438 in
     191let rec hw_register_env_rect_Type2 h_mk_hw_register_env x_107 =
     192  let { reg_env = reg_env0; other_bit = other_bit0 } = x_107 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_440 =
    199   let { reg_env = reg_env0; other_bit = other_bit0 } = x_440 in
     198let rec hw_register_env_rect_Type1 h_mk_hw_register_env x_109 =
     199  let { reg_env = reg_env0; other_bit = other_bit0 } = x_109 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_442 =
    206   let { reg_env = reg_env0; other_bit = other_bit0 } = x_442 in
     205let rec hw_register_env_rect_Type0 h_mk_hw_register_env x_111 =
     206  let { reg_env = reg_env0; other_bit = other_bit0 } = x_111 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_458 =
     321let rec sem_graph_params_rect_Type4 h_mk_sem_graph_params x_127 =
    322322  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0; graph_pre_main_generator =
    323     graph_pre_main_generator0 } = x_458
     323    graph_pre_main_generator0 } = x_127
    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_460 =
     331let rec sem_graph_params_rect_Type5 h_mk_sem_graph_params x_129 =
    332332  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0; graph_pre_main_generator =
    333     graph_pre_main_generator0 } = x_460
     333    graph_pre_main_generator0 } = x_129
    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_462 =
     341let rec sem_graph_params_rect_Type3 h_mk_sem_graph_params x_131 =
    342342  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0; graph_pre_main_generator =
    343     graph_pre_main_generator0 } = x_462
     343    graph_pre_main_generator0 } = x_131
    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_464 =
     351let rec sem_graph_params_rect_Type2 h_mk_sem_graph_params x_133 =
    352352  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0; graph_pre_main_generator =
    353     graph_pre_main_generator0 } = x_464
     353    graph_pre_main_generator0 } = x_133
    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_466 =
     361let rec sem_graph_params_rect_Type1 h_mk_sem_graph_params x_135 =
    362362  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0; graph_pre_main_generator =
    363     graph_pre_main_generator0 } = x_466
     363    graph_pre_main_generator0 } = x_135
    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_468 =
     371let rec sem_graph_params_rect_Type0 h_mk_sem_graph_params x_137 =
    372372  let { sgp_pars = sgp_pars0; sgp_sup = sgp_sup0; graph_pre_main_generator =
    373     graph_pre_main_generator0 } = x_468
     373    graph_pre_main_generator0 } = x_137
    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_485 =
     503let rec sem_lin_params_rect_Type4 h_mk_sem_lin_params x_154 =
    504504  let { slp_pars = slp_pars0; slp_sup = slp_sup0; lin_pre_main_generator =
    505     lin_pre_main_generator0 } = x_485
     505    lin_pre_main_generator0 } = x_154
    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_487 =
     513let rec sem_lin_params_rect_Type5 h_mk_sem_lin_params x_156 =
    514514  let { slp_pars = slp_pars0; slp_sup = slp_sup0; lin_pre_main_generator =
    515     lin_pre_main_generator0 } = x_487
     515    lin_pre_main_generator0 } = x_156
    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_489 =
     523let rec sem_lin_params_rect_Type3 h_mk_sem_lin_params x_158 =
    524524  let { slp_pars = slp_pars0; slp_sup = slp_sup0; lin_pre_main_generator =
    525     lin_pre_main_generator0 } = x_489
     525    lin_pre_main_generator0 } = x_158
    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_491 =
     533let rec sem_lin_params_rect_Type2 h_mk_sem_lin_params x_160 =
    534534  let { slp_pars = slp_pars0; slp_sup = slp_sup0; lin_pre_main_generator =
    535     lin_pre_main_generator0 } = x_491
     535    lin_pre_main_generator0 } = x_160
    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_493 =
     543let rec sem_lin_params_rect_Type1 h_mk_sem_lin_params x_162 =
    544544  let { slp_pars = slp_pars0; slp_sup = slp_sup0; lin_pre_main_generator =
    545     lin_pre_main_generator0 } = x_493
     545    lin_pre_main_generator0 } = x_162
    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_495 =
     553let rec sem_lin_params_rect_Type0 h_mk_sem_lin_params x_164 =
    554554  let { slp_pars = slp_pars0; slp_sup = slp_sup0; lin_pre_main_generator =
    555     lin_pre_main_generator0 } = x_495
     555    lin_pre_main_generator0 } = x_164
    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.