Ignore:
Timestamp:
Feb 25, 2013, 9:54:49 PM (7 years ago)
Author:
sacerdot
Message:

Exported again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/smallstepExec.ml

    r2717 r2730  
    9999    ('a1, 'a2, (Events.trace, __) Types.prod) IOMonad.iO) -> 'a3) -> ('a1,
    100100    'a2) trans_system -> 'a3 **)
    101 let rec trans_system_rect_Type4 h_mk_trans_system x_5847 =
    102   let { is_final = is_final0; step = step0 } = x_5847 in
     101let rec trans_system_rect_Type4 h_mk_trans_system x_8529 =
     102  let { is_final = is_final0; step = step0 } = x_8529 in
    103103  h_mk_trans_system __ __ is_final0 step0
    104104
     
    107107    ('a1, 'a2, (Events.trace, __) Types.prod) IOMonad.iO) -> 'a3) -> ('a1,
    108108    'a2) trans_system -> 'a3 **)
    109 let rec trans_system_rect_Type5 h_mk_trans_system x_5849 =
    110   let { is_final = is_final0; step = step0 } = x_5849 in
     109let rec trans_system_rect_Type5 h_mk_trans_system x_8531 =
     110  let { is_final = is_final0; step = step0 } = x_8531 in
    111111  h_mk_trans_system __ __ is_final0 step0
    112112
     
    115115    ('a1, 'a2, (Events.trace, __) Types.prod) IOMonad.iO) -> 'a3) -> ('a1,
    116116    'a2) trans_system -> 'a3 **)
    117 let rec trans_system_rect_Type3 h_mk_trans_system x_5851 =
    118   let { is_final = is_final0; step = step0 } = x_5851 in
     117let rec trans_system_rect_Type3 h_mk_trans_system x_8533 =
     118  let { is_final = is_final0; step = step0 } = x_8533 in
    119119  h_mk_trans_system __ __ is_final0 step0
    120120
     
    123123    ('a1, 'a2, (Events.trace, __) Types.prod) IOMonad.iO) -> 'a3) -> ('a1,
    124124    'a2) trans_system -> 'a3 **)
    125 let rec trans_system_rect_Type2 h_mk_trans_system x_5853 =
    126   let { is_final = is_final0; step = step0 } = x_5853 in
     125let rec trans_system_rect_Type2 h_mk_trans_system x_8535 =
     126  let { is_final = is_final0; step = step0 } = x_8535 in
    127127  h_mk_trans_system __ __ is_final0 step0
    128128
     
    131131    ('a1, 'a2, (Events.trace, __) Types.prod) IOMonad.iO) -> 'a3) -> ('a1,
    132132    'a2) trans_system -> 'a3 **)
    133 let rec trans_system_rect_Type1 h_mk_trans_system x_5855 =
    134   let { is_final = is_final0; step = step0 } = x_5855 in
     133let rec trans_system_rect_Type1 h_mk_trans_system x_8537 =
     134  let { is_final = is_final0; step = step0 } = x_8537 in
    135135  h_mk_trans_system __ __ is_final0 step0
    136136
     
    139139    ('a1, 'a2, (Events.trace, __) Types.prod) IOMonad.iO) -> 'a3) -> ('a1,
    140140    'a2) trans_system -> 'a3 **)
    141 let rec trans_system_rect_Type0 h_mk_trans_system x_5857 =
    142   let { is_final = is_final0; step = step0 } = x_5857 in
     141let rec trans_system_rect_Type0 h_mk_trans_system x_8539 =
     142  let { is_final = is_final0; step = step0 } = x_8539 in
    143143  h_mk_trans_system __ __ is_final0 step0
    144144
     
    227227    (__ -> __ -> (__, __) trans_system -> __ -> (__ -> Bool.bool) -> 'a1) ->
    228228    await_value_stuff -> 'a1 **)
    229 let rec await_value_stuff_rect_Type4 h_mk_await_value_stuff x_6019 =
    230   let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_6019
     229let rec await_value_stuff_rect_Type4 h_mk_await_value_stuff x_8701 =
     230  let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_8701
    231231  in
    232232  h_mk_await_value_stuff __ __ avs_exec0 avs_g0 avs_inv0
     
    235235    (__ -> __ -> (__, __) trans_system -> __ -> (__ -> Bool.bool) -> 'a1) ->
    236236    await_value_stuff -> 'a1 **)
    237 let rec await_value_stuff_rect_Type5 h_mk_await_value_stuff x_6021 =
    238   let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_6021
     237let rec await_value_stuff_rect_Type5 h_mk_await_value_stuff x_8703 =
     238  let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_8703
    239239  in
    240240  h_mk_await_value_stuff __ __ avs_exec0 avs_g0 avs_inv0
     
    243243    (__ -> __ -> (__, __) trans_system -> __ -> (__ -> Bool.bool) -> 'a1) ->
    244244    await_value_stuff -> 'a1 **)
    245 let rec await_value_stuff_rect_Type3 h_mk_await_value_stuff x_6023 =
    246   let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_6023
     245let rec await_value_stuff_rect_Type3 h_mk_await_value_stuff x_8705 =
     246  let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_8705
    247247  in
    248248  h_mk_await_value_stuff __ __ avs_exec0 avs_g0 avs_inv0
     
    251251    (__ -> __ -> (__, __) trans_system -> __ -> (__ -> Bool.bool) -> 'a1) ->
    252252    await_value_stuff -> 'a1 **)
    253 let rec await_value_stuff_rect_Type2 h_mk_await_value_stuff x_6025 =
    254   let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_6025
     253let rec await_value_stuff_rect_Type2 h_mk_await_value_stuff x_8707 =
     254  let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_8707
    255255  in
    256256  h_mk_await_value_stuff __ __ avs_exec0 avs_g0 avs_inv0
     
    259259    (__ -> __ -> (__, __) trans_system -> __ -> (__ -> Bool.bool) -> 'a1) ->
    260260    await_value_stuff -> 'a1 **)
    261 let rec await_value_stuff_rect_Type1 h_mk_await_value_stuff x_6027 =
    262   let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_6027
     261let rec await_value_stuff_rect_Type1 h_mk_await_value_stuff x_8709 =
     262  let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_8709
    263263  in
    264264  h_mk_await_value_stuff __ __ avs_exec0 avs_g0 avs_inv0
     
    267267    (__ -> __ -> (__, __) trans_system -> __ -> (__ -> Bool.bool) -> 'a1) ->
    268268    await_value_stuff -> 'a1 **)
    269 let rec await_value_stuff_rect_Type0 h_mk_await_value_stuff x_6029 =
    270   let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_6029
     269let rec await_value_stuff_rect_Type0 h_mk_await_value_stuff x_8711 =
     270  let { avs_exec = avs_exec0; avs_g = avs_g0; avs_inv = avs_inv0 } = x_8711
    271271  in
    272272  h_mk_await_value_stuff __ __ avs_exec0 avs_g0 avs_inv0
     
    456456    (__ -> ('a1, 'a2) trans_system -> (__ -> __) -> (__ -> __ Errors.res) ->
    457457    'a3) -> ('a1, 'a2) fullexec -> 'a3 **)
    458 let rec fullexec_rect_Type4 h_mk_fullexec x_6047 =
     458let rec fullexec_rect_Type4 h_mk_fullexec x_8729 =
    459459  let { es1 = es2; make_global = make_global0; make_initial_state =
    460     make_initial_state0 } = x_6047
     460    make_initial_state0 } = x_8729
    461461  in
    462462  h_mk_fullexec __ es2 make_global0 make_initial_state0
     
    465465    (__ -> ('a1, 'a2) trans_system -> (__ -> __) -> (__ -> __ Errors.res) ->
    466466    'a3) -> ('a1, 'a2) fullexec -> 'a3 **)
    467 let rec fullexec_rect_Type5 h_mk_fullexec x_6049 =
     467let rec fullexec_rect_Type5 h_mk_fullexec x_8731 =
    468468  let { es1 = es2; make_global = make_global0; make_initial_state =
    469     make_initial_state0 } = x_6049
     469    make_initial_state0 } = x_8731
    470470  in
    471471  h_mk_fullexec __ es2 make_global0 make_initial_state0
     
    474474    (__ -> ('a1, 'a2) trans_system -> (__ -> __) -> (__ -> __ Errors.res) ->
    475475    'a3) -> ('a1, 'a2) fullexec -> 'a3 **)
    476 let rec fullexec_rect_Type3 h_mk_fullexec x_6051 =
     476let rec fullexec_rect_Type3 h_mk_fullexec x_8733 =
    477477  let { es1 = es2; make_global = make_global0; make_initial_state =
    478     make_initial_state0 } = x_6051
     478    make_initial_state0 } = x_8733
    479479  in
    480480  h_mk_fullexec __ es2 make_global0 make_initial_state0
     
    483483    (__ -> ('a1, 'a2) trans_system -> (__ -> __) -> (__ -> __ Errors.res) ->
    484484    'a3) -> ('a1, 'a2) fullexec -> 'a3 **)
    485 let rec fullexec_rect_Type2 h_mk_fullexec x_6053 =
     485let rec fullexec_rect_Type2 h_mk_fullexec x_8735 =
    486486  let { es1 = es2; make_global = make_global0; make_initial_state =
    487     make_initial_state0 } = x_6053
     487    make_initial_state0 } = x_8735
    488488  in
    489489  h_mk_fullexec __ es2 make_global0 make_initial_state0
     
    492492    (__ -> ('a1, 'a2) trans_system -> (__ -> __) -> (__ -> __ Errors.res) ->
    493493    'a3) -> ('a1, 'a2) fullexec -> 'a3 **)
    494 let rec fullexec_rect_Type1 h_mk_fullexec x_6055 =
     494let rec fullexec_rect_Type1 h_mk_fullexec x_8737 =
    495495  let { es1 = es2; make_global = make_global0; make_initial_state =
    496     make_initial_state0 } = x_6055
     496    make_initial_state0 } = x_8737
    497497  in
    498498  h_mk_fullexec __ es2 make_global0 make_initial_state0
     
    501501    (__ -> ('a1, 'a2) trans_system -> (__ -> __) -> (__ -> __ Errors.res) ->
    502502    'a3) -> ('a1, 'a2) fullexec -> 'a3 **)
    503 let rec fullexec_rect_Type0 h_mk_fullexec x_6057 =
     503let rec fullexec_rect_Type0 h_mk_fullexec x_8739 =
    504504  let { es1 = es2; make_global = make_global0; make_initial_state =
    505     make_initial_state0 } = x_6057
     505    make_initial_state0 } = x_8739
    506506  in
    507507  h_mk_fullexec __ es2 make_global0 make_initial_state0
Note: See TracChangeset for help on using the changeset viewer.