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/eRTLptrToLTL.ml

    r2867 r2873  
    167167    arg_decision -> 'a1 **)
    168168let rec arg_decision_rect_Type4 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    169 | Arg_decision_colour x_21937 -> h_arg_decision_colour x_21937
    170 | Arg_decision_spill x_21938 -> h_arg_decision_spill x_21938
    171 | Arg_decision_imm x_21939 -> h_arg_decision_imm x_21939
     169| Arg_decision_colour x_22106 -> h_arg_decision_colour x_22106
     170| Arg_decision_spill x_22107 -> h_arg_decision_spill x_22107
     171| Arg_decision_imm x_22108 -> h_arg_decision_imm x_22108
    172172
    173173(** val arg_decision_rect_Type5 :
     
    175175    arg_decision -> 'a1 **)
    176176let rec arg_decision_rect_Type5 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    177 | Arg_decision_colour x_21944 -> h_arg_decision_colour x_21944
    178 | Arg_decision_spill x_21945 -> h_arg_decision_spill x_21945
    179 | Arg_decision_imm x_21946 -> h_arg_decision_imm x_21946
     177| Arg_decision_colour x_22113 -> h_arg_decision_colour x_22113
     178| Arg_decision_spill x_22114 -> h_arg_decision_spill x_22114
     179| Arg_decision_imm x_22115 -> h_arg_decision_imm x_22115
    180180
    181181(** val arg_decision_rect_Type3 :
     
    183183    arg_decision -> 'a1 **)
    184184let rec arg_decision_rect_Type3 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    185 | Arg_decision_colour x_21951 -> h_arg_decision_colour x_21951
    186 | Arg_decision_spill x_21952 -> h_arg_decision_spill x_21952
    187 | Arg_decision_imm x_21953 -> h_arg_decision_imm x_21953
     185| Arg_decision_colour x_22120 -> h_arg_decision_colour x_22120
     186| Arg_decision_spill x_22121 -> h_arg_decision_spill x_22121
     187| Arg_decision_imm x_22122 -> h_arg_decision_imm x_22122
    188188
    189189(** val arg_decision_rect_Type2 :
     
    191191    arg_decision -> 'a1 **)
    192192let rec arg_decision_rect_Type2 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    193 | Arg_decision_colour x_21958 -> h_arg_decision_colour x_21958
    194 | Arg_decision_spill x_21959 -> h_arg_decision_spill x_21959
    195 | Arg_decision_imm x_21960 -> h_arg_decision_imm x_21960
     193| Arg_decision_colour x_22127 -> h_arg_decision_colour x_22127
     194| Arg_decision_spill x_22128 -> h_arg_decision_spill x_22128
     195| Arg_decision_imm x_22129 -> h_arg_decision_imm x_22129
    196196
    197197(** val arg_decision_rect_Type1 :
     
    199199    arg_decision -> 'a1 **)
    200200let rec arg_decision_rect_Type1 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    201 | Arg_decision_colour x_21965 -> h_arg_decision_colour x_21965
    202 | Arg_decision_spill x_21966 -> h_arg_decision_spill x_21966
    203 | Arg_decision_imm x_21967 -> h_arg_decision_imm x_21967
     201| Arg_decision_colour x_22134 -> h_arg_decision_colour x_22134
     202| Arg_decision_spill x_22135 -> h_arg_decision_spill x_22135
     203| Arg_decision_imm x_22136 -> h_arg_decision_imm x_22136
    204204
    205205(** val arg_decision_rect_Type0 :
     
    207207    arg_decision -> 'a1 **)
    208208let rec arg_decision_rect_Type0 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    209 | Arg_decision_colour x_21972 -> h_arg_decision_colour x_21972
    210 | Arg_decision_spill x_21973 -> h_arg_decision_spill x_21973
    211 | Arg_decision_imm x_21974 -> h_arg_decision_imm x_21974
     209| Arg_decision_colour x_22141 -> h_arg_decision_colour x_22141
     210| Arg_decision_spill x_22142 -> h_arg_decision_spill x_22142
     211| Arg_decision_imm x_22143 -> h_arg_decision_imm x_22143
    212212
    213213(** val arg_decision_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.