Ignore:
Timestamp:
Mar 14, 2013, 10:37:39 PM (7 years ago)
Author:
sacerdot
Message:

Extracted again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTLabs_abstract.ml

    r2827 r2873  
    150150    RTLabs_semantics.genv -> (RTLabs_semantics.state -> Pointers.block
    151151    List.list -> __ -> 'a1) -> rTLabs_ext_state -> 'a1 **)
    152 let rec rTLabs_ext_state_rect_Type4 ge h_mk_RTLabs_ext_state x_17436 =
    153   let { ras_state = ras_state0; ras_fn_stack = ras_fn_stack0 } = x_17436 in
     152let rec rTLabs_ext_state_rect_Type4 ge h_mk_RTLabs_ext_state x_17605 =
     153  let { ras_state = ras_state0; ras_fn_stack = ras_fn_stack0 } = x_17605 in
    154154  h_mk_RTLabs_ext_state ras_state0 ras_fn_stack0 __
    155155
     
    157157    RTLabs_semantics.genv -> (RTLabs_semantics.state -> Pointers.block
    158158    List.list -> __ -> 'a1) -> rTLabs_ext_state -> 'a1 **)
    159 let rec rTLabs_ext_state_rect_Type5 ge h_mk_RTLabs_ext_state x_17438 =
    160   let { ras_state = ras_state0; ras_fn_stack = ras_fn_stack0 } = x_17438 in
     159let rec rTLabs_ext_state_rect_Type5 ge h_mk_RTLabs_ext_state x_17607 =
     160  let { ras_state = ras_state0; ras_fn_stack = ras_fn_stack0 } = x_17607 in
    161161  h_mk_RTLabs_ext_state ras_state0 ras_fn_stack0 __
    162162
     
    164164    RTLabs_semantics.genv -> (RTLabs_semantics.state -> Pointers.block
    165165    List.list -> __ -> 'a1) -> rTLabs_ext_state -> 'a1 **)
    166 let rec rTLabs_ext_state_rect_Type3 ge h_mk_RTLabs_ext_state x_17440 =
    167   let { ras_state = ras_state0; ras_fn_stack = ras_fn_stack0 } = x_17440 in
     166let rec rTLabs_ext_state_rect_Type3 ge h_mk_RTLabs_ext_state x_17609 =
     167  let { ras_state = ras_state0; ras_fn_stack = ras_fn_stack0 } = x_17609 in
    168168  h_mk_RTLabs_ext_state ras_state0 ras_fn_stack0 __
    169169
     
    171171    RTLabs_semantics.genv -> (RTLabs_semantics.state -> Pointers.block
    172172    List.list -> __ -> 'a1) -> rTLabs_ext_state -> 'a1 **)
    173 let rec rTLabs_ext_state_rect_Type2 ge h_mk_RTLabs_ext_state x_17442 =
    174   let { ras_state = ras_state0; ras_fn_stack = ras_fn_stack0 } = x_17442 in
     173let rec rTLabs_ext_state_rect_Type2 ge h_mk_RTLabs_ext_state x_17611 =
     174  let { ras_state = ras_state0; ras_fn_stack = ras_fn_stack0 } = x_17611 in
    175175  h_mk_RTLabs_ext_state ras_state0 ras_fn_stack0 __
    176176
     
    178178    RTLabs_semantics.genv -> (RTLabs_semantics.state -> Pointers.block
    179179    List.list -> __ -> 'a1) -> rTLabs_ext_state -> 'a1 **)
    180 let rec rTLabs_ext_state_rect_Type1 ge h_mk_RTLabs_ext_state x_17444 =
    181   let { ras_state = ras_state0; ras_fn_stack = ras_fn_stack0 } = x_17444 in
     180let rec rTLabs_ext_state_rect_Type1 ge h_mk_RTLabs_ext_state x_17613 =
     181  let { ras_state = ras_state0; ras_fn_stack = ras_fn_stack0 } = x_17613 in
    182182  h_mk_RTLabs_ext_state ras_state0 ras_fn_stack0 __
    183183
     
    185185    RTLabs_semantics.genv -> (RTLabs_semantics.state -> Pointers.block
    186186    List.list -> __ -> 'a1) -> rTLabs_ext_state -> 'a1 **)
    187 let rec rTLabs_ext_state_rect_Type0 ge h_mk_RTLabs_ext_state x_17446 =
    188   let { ras_state = ras_state0; ras_fn_stack = ras_fn_stack0 } = x_17446 in
     187let rec rTLabs_ext_state_rect_Type0 ge h_mk_RTLabs_ext_state x_17615 =
     188  let { ras_state = ras_state0; ras_fn_stack = ras_fn_stack0 } = x_17615 in
    189189  h_mk_RTLabs_ext_state ras_state0 ras_fn_stack0 __
    190190
     
    340340    rTLabs_pc -> 'a1 **)
    341341let rec rTLabs_pc_rect_Type4 h_rapc_state h_rapc_call h_rapc_ret h_rapc_fin = function
    342 | Rapc_state (x_17472, x_17471) -> h_rapc_state x_17472 x_17471
    343 | Rapc_call (x_17474, x_17473) -> h_rapc_call x_17474 x_17473
    344 | Rapc_ret x_17475 -> h_rapc_ret x_17475
     342| Rapc_state (x_17641, x_17640) -> h_rapc_state x_17641 x_17640
     343| Rapc_call (x_17643, x_17642) -> h_rapc_call x_17643 x_17642
     344| Rapc_ret x_17644 -> h_rapc_ret x_17644
    345345| Rapc_fin -> h_rapc_fin
    346346
     
    350350    rTLabs_pc -> 'a1 **)
    351351let rec rTLabs_pc_rect_Type5 h_rapc_state h_rapc_call h_rapc_ret h_rapc_fin = function
    352 | Rapc_state (x_17482, x_17481) -> h_rapc_state x_17482 x_17481
    353 | Rapc_call (x_17484, x_17483) -> h_rapc_call x_17484 x_17483
    354 | Rapc_ret x_17485 -> h_rapc_ret x_17485
     352| Rapc_state (x_17651, x_17650) -> h_rapc_state x_17651 x_17650
     353| Rapc_call (x_17653, x_17652) -> h_rapc_call x_17653 x_17652
     354| Rapc_ret x_17654 -> h_rapc_ret x_17654
    355355| Rapc_fin -> h_rapc_fin
    356356
     
    360360    rTLabs_pc -> 'a1 **)
    361361let rec rTLabs_pc_rect_Type3 h_rapc_state h_rapc_call h_rapc_ret h_rapc_fin = function
    362 | Rapc_state (x_17492, x_17491) -> h_rapc_state x_17492 x_17491
    363 | Rapc_call (x_17494, x_17493) -> h_rapc_call x_17494 x_17493
    364 | Rapc_ret x_17495 -> h_rapc_ret x_17495
     362| Rapc_state (x_17661, x_17660) -> h_rapc_state x_17661 x_17660
     363| Rapc_call (x_17663, x_17662) -> h_rapc_call x_17663 x_17662
     364| Rapc_ret x_17664 -> h_rapc_ret x_17664
    365365| Rapc_fin -> h_rapc_fin
    366366
     
    370370    rTLabs_pc -> 'a1 **)
    371371let rec rTLabs_pc_rect_Type2 h_rapc_state h_rapc_call h_rapc_ret h_rapc_fin = function
    372 | Rapc_state (x_17502, x_17501) -> h_rapc_state x_17502 x_17501
    373 | Rapc_call (x_17504, x_17503) -> h_rapc_call x_17504 x_17503
    374 | Rapc_ret x_17505 -> h_rapc_ret x_17505
     372| Rapc_state (x_17671, x_17670) -> h_rapc_state x_17671 x_17670
     373| Rapc_call (x_17673, x_17672) -> h_rapc_call x_17673 x_17672
     374| Rapc_ret x_17674 -> h_rapc_ret x_17674
    375375| Rapc_fin -> h_rapc_fin
    376376
     
    380380    rTLabs_pc -> 'a1 **)
    381381let rec rTLabs_pc_rect_Type1 h_rapc_state h_rapc_call h_rapc_ret h_rapc_fin = function
    382 | Rapc_state (x_17512, x_17511) -> h_rapc_state x_17512 x_17511
    383 | Rapc_call (x_17514, x_17513) -> h_rapc_call x_17514 x_17513
    384 | Rapc_ret x_17515 -> h_rapc_ret x_17515
     382| Rapc_state (x_17681, x_17680) -> h_rapc_state x_17681 x_17680
     383| Rapc_call (x_17683, x_17682) -> h_rapc_call x_17683 x_17682
     384| Rapc_ret x_17684 -> h_rapc_ret x_17684
    385385| Rapc_fin -> h_rapc_fin
    386386
     
    390390    rTLabs_pc -> 'a1 **)
    391391let rec rTLabs_pc_rect_Type0 h_rapc_state h_rapc_call h_rapc_ret h_rapc_fin = function
    392 | Rapc_state (x_17522, x_17521) -> h_rapc_state x_17522 x_17521
    393 | Rapc_call (x_17524, x_17523) -> h_rapc_call x_17524 x_17523
    394 | Rapc_ret x_17525 -> h_rapc_ret x_17525
     392| Rapc_state (x_17691, x_17690) -> h_rapc_state x_17691 x_17690
     393| Rapc_call (x_17693, x_17692) -> h_rapc_call x_17693 x_17692
     394| Rapc_ret x_17694 -> h_rapc_ret x_17694
    395395| Rapc_fin -> h_rapc_fin
    396396
Note: See TracChangeset for help on using the changeset viewer.