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

Extracted again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTLabsToRTL.ml

    r2867 r2873  
    150150    -> 'a1) -> register_type -> 'a1 **)
    151151let rec register_type_rect_Type4 h_register_int h_register_ptr = function
    152 | Register_int x_21128 -> h_register_int x_21128
    153 | Register_ptr (x_21130, x_21129) -> h_register_ptr x_21130 x_21129
     152| Register_int x_21297 -> h_register_int x_21297
     153| Register_ptr (x_21299, x_21298) -> h_register_ptr x_21299 x_21298
    154154
    155155(** val register_type_rect_Type5 :
     
    157157    -> 'a1) -> register_type -> 'a1 **)
    158158let rec register_type_rect_Type5 h_register_int h_register_ptr = function
    159 | Register_int x_21134 -> h_register_int x_21134
    160 | Register_ptr (x_21136, x_21135) -> h_register_ptr x_21136 x_21135
     159| Register_int x_21303 -> h_register_int x_21303
     160| Register_ptr (x_21305, x_21304) -> h_register_ptr x_21305 x_21304
    161161
    162162(** val register_type_rect_Type3 :
     
    164164    -> 'a1) -> register_type -> 'a1 **)
    165165let rec register_type_rect_Type3 h_register_int h_register_ptr = function
    166 | Register_int x_21140 -> h_register_int x_21140
    167 | Register_ptr (x_21142, x_21141) -> h_register_ptr x_21142 x_21141
     166| Register_int x_21309 -> h_register_int x_21309
     167| Register_ptr (x_21311, x_21310) -> h_register_ptr x_21311 x_21310
    168168
    169169(** val register_type_rect_Type2 :
     
    171171    -> 'a1) -> register_type -> 'a1 **)
    172172let rec register_type_rect_Type2 h_register_int h_register_ptr = function
    173 | Register_int x_21146 -> h_register_int x_21146
    174 | Register_ptr (x_21148, x_21147) -> h_register_ptr x_21148 x_21147
     173| Register_int x_21315 -> h_register_int x_21315
     174| Register_ptr (x_21317, x_21316) -> h_register_ptr x_21317 x_21316
    175175
    176176(** val register_type_rect_Type1 :
     
    178178    -> 'a1) -> register_type -> 'a1 **)
    179179let rec register_type_rect_Type1 h_register_int h_register_ptr = function
    180 | Register_int x_21152 -> h_register_int x_21152
    181 | Register_ptr (x_21154, x_21153) -> h_register_ptr x_21154 x_21153
     180| Register_int x_21321 -> h_register_int x_21321
     181| Register_ptr (x_21323, x_21322) -> h_register_ptr x_21323 x_21322
    182182
    183183(** val register_type_rect_Type0 :
     
    185185    -> 'a1) -> register_type -> 'a1 **)
    186186let rec register_type_rect_Type0 h_register_int h_register_ptr = function
    187 | Register_int x_21158 -> h_register_int x_21158
    188 | Register_ptr (x_21160, x_21159) -> h_register_ptr x_21160 x_21159
     187| Register_int x_21327 -> h_register_int x_21327
     188| Register_ptr (x_21329, x_21328) -> h_register_ptr x_21329 x_21328
    189189
    190190(** val register_type_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.