Ignore:
Timestamp:
Mar 8, 2013, 9:07:28 PM (7 years ago)
Author:
sacerdot
Message:

Everything extracted again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/smallstepExec.ml

    r2797 r2827  
    9797    ('a1, 'a2, (Events.trace, __) Types.prod) IOMonad.iO) -> 'a3) -> ('a1,
    9898    'a2) trans_system -> 'a3 **)
    99 let rec trans_system_rect_Type4 h_mk_trans_system x_5795 =
    100   let { is_final = is_final0; step = step0 } = x_5795 in
     99let rec trans_system_rect_Type4 h_mk_trans_system x_5912 =
     100  let { is_final = is_final0; step = step0 } = x_5912 in
    101101  h_mk_trans_system __ __ is_final0 step0
    102102
     
    105105    ('a1, 'a2, (Events.trace, __) Types.prod) IOMonad.iO) -> 'a3) -> ('a1,
    106106    'a2) trans_system -> 'a3 **)
    107 let rec trans_system_rect_Type5 h_mk_trans_system x_5797 =
    108   let { is_final = is_final0; step = step0 } = x_5797 in
     107let rec trans_system_rect_Type5 h_mk_trans_system x_5914 =
     108  let { is_final = is_final0; step = step0 } = x_5914 in
    109109  h_mk_trans_system __ __ is_final0 step0
    110110
     
    113113    ('a1, 'a2, (Events.trace, __) Types.prod) IOMonad.iO) -> 'a3) -> ('a1,
    114114    'a2) trans_system -> 'a3 **)
    115 let rec trans_system_rect_Type3 h_mk_trans_system x_5799 =
    116   let { is_final = is_final0; step = step0 } = x_5799 in
     115let rec trans_system_rect_Type3 h_mk_trans_system x_5916 =
     116  let { is_final = is_final0; step = step0 } = x_5916 in
    117117  h_mk_trans_system __ __ is_final0 step0
    118118
     
    121121    ('a1, 'a2, (Events.trace, __) Types.prod) IOMonad.iO) -> 'a3) -> ('a1,
    122122    'a2) trans_system -> 'a3 **)
    123 let rec trans_system_rect_Type2 h_mk_trans_system x_5801 =
    124   let { is_final = is_final0; step = step0 } = x_5801 in
     123let rec trans_system_rect_Type2 h_mk_trans_system x_5918 =
     124  let { is_final = is_final0; step = step0 } = x_5918 in
    125125  h_mk_trans_system __ __ is_final0 step0
    126126
     
    129129    ('a1, 'a2, (Events.trace, __) Types.prod) IOMonad.iO) -> 'a3) -> ('a1,
    130130    'a2) trans_system -> 'a3 **)
    131 let rec trans_system_rect_Type1 h_mk_trans_system x_5803 =
    132   let { is_final = is_final0; step = step0 } = x_5803 in
     131let rec trans_system_rect_Type1 h_mk_trans_system x_5920 =
     132  let { is_final = is_final0; step = step0 } = x_5920 in
    133133  h_mk_trans_system __ __ is_final0 step0
    134134
     
    137137    ('a1, 'a2, (Events.trace, __) Types.prod) IOMonad.iO) -> 'a3) -> ('a1,
    138138    'a2) trans_system -> 'a3 **)
    139 let rec trans_system_rect_Type0 h_mk_trans_system x_5805 =
    140   let { is_final = is_final0; step = step0 } = x_5805 in
     139let rec trans_system_rect_Type0 h_mk_trans_system x_5922 =
     140  let { is_final = is_final0; step = step0 } = x_5922 in
    141141  h_mk_trans_system __ __ is_final0 step0
    142142
     
    225225    (__ -> __ -> (__, __) trans_system -> __ -> (__ -> Bool.bool) -> 'a1) ->
    226226    await_value_stuff -> 'a1 **)
    227 let rec await_value_stuff_rect_Type4 h_mk_await_value_stuff x_5967 =
    228   let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_5967
     227let rec await_value_stuff_rect_Type4 h_mk_await_value_stuff x_6084 =
     228  let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_6084
    229229  in
    230230  h_mk_await_value_stuff __ __ avs_exec0 avs_g0 avs_inv0
     
    233233    (__ -> __ -> (__, __) trans_system -> __ -> (__ -> Bool.bool) -> 'a1) ->
    234234    await_value_stuff -> 'a1 **)
    235 let rec await_value_stuff_rect_Type5 h_mk_await_value_stuff x_5969 =
    236   let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_5969
     235let rec await_value_stuff_rect_Type5 h_mk_await_value_stuff x_6086 =
     236  let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_6086
    237237  in
    238238  h_mk_await_value_stuff __ __ avs_exec0 avs_g0 avs_inv0
     
    241241    (__ -> __ -> (__, __) trans_system -> __ -> (__ -> Bool.bool) -> 'a1) ->
    242242    await_value_stuff -> 'a1 **)
    243 let rec await_value_stuff_rect_Type3 h_mk_await_value_stuff x_5971 =
    244   let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_5971
     243let rec await_value_stuff_rect_Type3 h_mk_await_value_stuff x_6088 =
     244  let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_6088
    245245  in
    246246  h_mk_await_value_stuff __ __ avs_exec0 avs_g0 avs_inv0
     
    249249    (__ -> __ -> (__, __) trans_system -> __ -> (__ -> Bool.bool) -> 'a1) ->
    250250    await_value_stuff -> 'a1 **)
    251 let rec await_value_stuff_rect_Type2 h_mk_await_value_stuff x_5973 =
    252   let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_5973
     251let rec await_value_stuff_rect_Type2 h_mk_await_value_stuff x_6090 =
     252  let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_6090
    253253  in
    254254  h_mk_await_value_stuff __ __ avs_exec0 avs_g0 avs_inv0
     
    257257    (__ -> __ -> (__, __) trans_system -> __ -> (__ -> Bool.bool) -> 'a1) ->
    258258    await_value_stuff -> 'a1 **)
    259 let rec await_value_stuff_rect_Type1 h_mk_await_value_stuff x_5975 =
    260   let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_5975
     259let rec await_value_stuff_rect_Type1 h_mk_await_value_stuff x_6092 =
     260  let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_6092
    261261  in
    262262  h_mk_await_value_stuff __ __ avs_exec0 avs_g0 avs_inv0
     
    265265    (__ -> __ -> (__, __) trans_system -> __ -> (__ -> Bool.bool) -> 'a1) ->
    266266    await_value_stuff -> 'a1 **)
    267 let rec await_value_stuff_rect_Type0 h_mk_await_value_stuff x_5977 =
    268   let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_5977
     267let rec await_value_stuff_rect_Type0 h_mk_await_value_stuff x_6094 =
     268  let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_6094
    269269  in
    270270  h_mk_await_value_stuff __ __ avs_exec0 avs_g0 avs_inv0
     
    446446    (__ -> ('a1, 'a2) trans_system -> (__ -> __) -> (__ -> __ Errors.res) ->
    447447    'a3) -> ('a1, 'a2) fullexec -> 'a3 **)
    448 let rec fullexec_rect_Type4 h_mk_fullexec x_5995 =
     448let rec fullexec_rect_Type4 h_mk_fullexec x_6112 =
    449449  let { es1 = es2; make_global = make_global0; make_initial_state =
    450     make_initial_state0 } = x_5995
     450    make_initial_state0 } = x_6112
    451451  in
    452452  h_mk_fullexec __ es2 make_global0 make_initial_state0
     
    455455    (__ -> ('a1, 'a2) trans_system -> (__ -> __) -> (__ -> __ Errors.res) ->
    456456    'a3) -> ('a1, 'a2) fullexec -> 'a3 **)
    457 let rec fullexec_rect_Type5 h_mk_fullexec x_5997 =
     457let rec fullexec_rect_Type5 h_mk_fullexec x_6114 =
    458458  let { es1 = es2; make_global = make_global0; make_initial_state =
    459     make_initial_state0 } = x_5997
     459    make_initial_state0 } = x_6114
    460460  in
    461461  h_mk_fullexec __ es2 make_global0 make_initial_state0
     
    464464    (__ -> ('a1, 'a2) trans_system -> (__ -> __) -> (__ -> __ Errors.res) ->
    465465    'a3) -> ('a1, 'a2) fullexec -> 'a3 **)
    466 let rec fullexec_rect_Type3 h_mk_fullexec x_5999 =
     466let rec fullexec_rect_Type3 h_mk_fullexec x_6116 =
    467467  let { es1 = es2; make_global = make_global0; make_initial_state =
    468     make_initial_state0 } = x_5999
     468    make_initial_state0 } = x_6116
    469469  in
    470470  h_mk_fullexec __ es2 make_global0 make_initial_state0
     
    473473    (__ -> ('a1, 'a2) trans_system -> (__ -> __) -> (__ -> __ Errors.res) ->
    474474    'a3) -> ('a1, 'a2) fullexec -> 'a3 **)
    475 let rec fullexec_rect_Type2 h_mk_fullexec x_6001 =
     475let rec fullexec_rect_Type2 h_mk_fullexec x_6118 =
    476476  let { es1 = es2; make_global = make_global0; make_initial_state =
    477     make_initial_state0 } = x_6001
     477    make_initial_state0 } = x_6118
    478478  in
    479479  h_mk_fullexec __ es2 make_global0 make_initial_state0
     
    482482    (__ -> ('a1, 'a2) trans_system -> (__ -> __) -> (__ -> __ Errors.res) ->
    483483    'a3) -> ('a1, 'a2) fullexec -> 'a3 **)
    484 let rec fullexec_rect_Type1 h_mk_fullexec x_6003 =
     484let rec fullexec_rect_Type1 h_mk_fullexec x_6120 =
    485485  let { es1 = es2; make_global = make_global0; make_initial_state =
    486     make_initial_state0 } = x_6003
     486    make_initial_state0 } = x_6120
    487487  in
    488488  h_mk_fullexec __ es2 make_global0 make_initial_state0
     
    491491    (__ -> ('a1, 'a2) trans_system -> (__ -> __) -> (__ -> __ Errors.res) ->
    492492    'a3) -> ('a1, 'a2) fullexec -> 'a3 **)
    493 let rec fullexec_rect_Type0 h_mk_fullexec x_6005 =
     493let rec fullexec_rect_Type0 h_mk_fullexec x_6122 =
    494494  let { es1 = es2; make_global = make_global0; make_initial_state =
    495     make_initial_state0 } = x_6005
     495    make_initial_state0 } = x_6122
    496496  in
    497497  h_mk_fullexec __ es2 make_global0 make_initial_state0
Note: See TracChangeset for help on using the changeset viewer.