Ignore:
Timestamp:
Mar 28, 2013, 1:02:48 PM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTLabsToRTL.ml

    r2997 r3001  
    154154    -> 'a1) -> register_type -> 'a1 **)
    155155let rec register_type_rect_Type4 h_register_int h_register_ptr = function
    156 | Register_int x_633 -> h_register_int x_633
    157 | Register_ptr (x_635, x_634) -> h_register_ptr x_635 x_634
     156| Register_int x_7284 -> h_register_int x_7284
     157| Register_ptr (x_7286, x_7285) -> h_register_ptr x_7286 x_7285
    158158
    159159(** val register_type_rect_Type5 :
     
    161161    -> 'a1) -> register_type -> 'a1 **)
    162162let rec register_type_rect_Type5 h_register_int h_register_ptr = function
    163 | Register_int x_639 -> h_register_int x_639
    164 | Register_ptr (x_641, x_640) -> h_register_ptr x_641 x_640
     163| Register_int x_7290 -> h_register_int x_7290
     164| Register_ptr (x_7292, x_7291) -> h_register_ptr x_7292 x_7291
    165165
    166166(** val register_type_rect_Type3 :
     
    168168    -> 'a1) -> register_type -> 'a1 **)
    169169let rec register_type_rect_Type3 h_register_int h_register_ptr = function
    170 | Register_int x_645 -> h_register_int x_645
    171 | Register_ptr (x_647, x_646) -> h_register_ptr x_647 x_646
     170| Register_int x_7296 -> h_register_int x_7296
     171| Register_ptr (x_7298, x_7297) -> h_register_ptr x_7298 x_7297
    172172
    173173(** val register_type_rect_Type2 :
     
    175175    -> 'a1) -> register_type -> 'a1 **)
    176176let rec register_type_rect_Type2 h_register_int h_register_ptr = function
    177 | Register_int x_651 -> h_register_int x_651
    178 | Register_ptr (x_653, x_652) -> h_register_ptr x_653 x_652
     177| Register_int x_7302 -> h_register_int x_7302
     178| Register_ptr (x_7304, x_7303) -> h_register_ptr x_7304 x_7303
    179179
    180180(** val register_type_rect_Type1 :
     
    182182    -> 'a1) -> register_type -> 'a1 **)
    183183let rec register_type_rect_Type1 h_register_int h_register_ptr = function
    184 | Register_int x_657 -> h_register_int x_657
    185 | Register_ptr (x_659, x_658) -> h_register_ptr x_659 x_658
     184| Register_int x_7308 -> h_register_int x_7308
     185| Register_ptr (x_7310, x_7309) -> h_register_ptr x_7310 x_7309
    186186
    187187(** val register_type_rect_Type0 :
     
    189189    -> 'a1) -> register_type -> 'a1 **)
    190190let rec register_type_rect_Type0 h_register_int h_register_ptr = function
    191 | Register_int x_663 -> h_register_int x_663
    192 | Register_ptr (x_665, x_664) -> h_register_ptr x_665 x_664
     191| Register_int x_7314 -> h_register_int x_7314
     192| Register_ptr (x_7316, x_7315) -> h_register_ptr x_7316 x_7315
    193193
    194194(** val register_type_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.