Ignore:
Timestamp:
Mar 28, 2013, 10:27:41 AM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/eRTLptrToLTL.ml

    r2960 r2997  
    181181    arg_decision -> 'a1 **)
    182182let rec arg_decision_rect_Type4 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    183 | Arg_decision_colour x_380 -> h_arg_decision_colour x_380
    184 | Arg_decision_spill x_381 -> h_arg_decision_spill x_381
    185 | Arg_decision_imm x_382 -> h_arg_decision_imm x_382
     183| Arg_decision_colour x_106 -> h_arg_decision_colour x_106
     184| Arg_decision_spill x_107 -> h_arg_decision_spill x_107
     185| Arg_decision_imm x_108 -> h_arg_decision_imm x_108
    186186
    187187(** val arg_decision_rect_Type5 :
     
    189189    arg_decision -> 'a1 **)
    190190let rec arg_decision_rect_Type5 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    191 | Arg_decision_colour x_387 -> h_arg_decision_colour x_387
    192 | Arg_decision_spill x_388 -> h_arg_decision_spill x_388
    193 | Arg_decision_imm x_389 -> h_arg_decision_imm x_389
     191| Arg_decision_colour x_113 -> h_arg_decision_colour x_113
     192| Arg_decision_spill x_114 -> h_arg_decision_spill x_114
     193| Arg_decision_imm x_115 -> h_arg_decision_imm x_115
    194194
    195195(** val arg_decision_rect_Type3 :
     
    197197    arg_decision -> 'a1 **)
    198198let rec arg_decision_rect_Type3 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    199 | Arg_decision_colour x_394 -> h_arg_decision_colour x_394
    200 | Arg_decision_spill x_395 -> h_arg_decision_spill x_395
    201 | Arg_decision_imm x_396 -> h_arg_decision_imm x_396
     199| Arg_decision_colour x_120 -> h_arg_decision_colour x_120
     200| Arg_decision_spill x_121 -> h_arg_decision_spill x_121
     201| Arg_decision_imm x_122 -> h_arg_decision_imm x_122
    202202
    203203(** val arg_decision_rect_Type2 :
     
    205205    arg_decision -> 'a1 **)
    206206let rec arg_decision_rect_Type2 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    207 | Arg_decision_colour x_401 -> h_arg_decision_colour x_401
    208 | Arg_decision_spill x_402 -> h_arg_decision_spill x_402
    209 | Arg_decision_imm x_403 -> h_arg_decision_imm x_403
     207| Arg_decision_colour x_127 -> h_arg_decision_colour x_127
     208| Arg_decision_spill x_128 -> h_arg_decision_spill x_128
     209| Arg_decision_imm x_129 -> h_arg_decision_imm x_129
    210210
    211211(** val arg_decision_rect_Type1 :
     
    213213    arg_decision -> 'a1 **)
    214214let rec arg_decision_rect_Type1 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    215 | Arg_decision_colour x_408 -> h_arg_decision_colour x_408
    216 | Arg_decision_spill x_409 -> h_arg_decision_spill x_409
    217 | Arg_decision_imm x_410 -> h_arg_decision_imm x_410
     215| Arg_decision_colour x_134 -> h_arg_decision_colour x_134
     216| Arg_decision_spill x_135 -> h_arg_decision_spill x_135
     217| Arg_decision_imm x_136 -> h_arg_decision_imm x_136
    218218
    219219(** val arg_decision_rect_Type0 :
     
    221221    arg_decision -> 'a1 **)
    222222let rec arg_decision_rect_Type0 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    223 | Arg_decision_colour x_415 -> h_arg_decision_colour x_415
    224 | Arg_decision_spill x_416 -> h_arg_decision_spill x_416
    225 | Arg_decision_imm x_417 -> h_arg_decision_imm x_417
     223| Arg_decision_colour x_141 -> h_arg_decision_colour x_141
     224| Arg_decision_spill x_142 -> h_arg_decision_spill x_142
     225| Arg_decision_imm x_143 -> h_arg_decision_imm x_143
    226226
    227227(** val arg_decision_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.