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

    r2960 r2997  
    154154    -> 'a1) -> register_type -> 'a1 **)
    155155let rec register_type_rect_Type4 h_register_int h_register_ptr = function
    156 | Register_int x_60 -> h_register_int x_60
    157 | Register_ptr (x_62, x_61) -> h_register_ptr x_62 x_61
     156| Register_int x_633 -> h_register_int x_633
     157| Register_ptr (x_635, x_634) -> h_register_ptr x_635 x_634
    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_66 -> h_register_int x_66
    164 | Register_ptr (x_68, x_67) -> h_register_ptr x_68 x_67
     163| Register_int x_639 -> h_register_int x_639
     164| Register_ptr (x_641, x_640) -> h_register_ptr x_641 x_640
    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_72 -> h_register_int x_72
    171 | Register_ptr (x_74, x_73) -> h_register_ptr x_74 x_73
     170| Register_int x_645 -> h_register_int x_645
     171| Register_ptr (x_647, x_646) -> h_register_ptr x_647 x_646
    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_78 -> h_register_int x_78
    178 | Register_ptr (x_80, x_79) -> h_register_ptr x_80 x_79
     177| Register_int x_651 -> h_register_int x_651
     178| Register_ptr (x_653, x_652) -> h_register_ptr x_653 x_652
    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_84 -> h_register_int x_84
    185 | Register_ptr (x_86, x_85) -> h_register_ptr x_86 x_85
     184| Register_int x_657 -> h_register_int x_657
     185| Register_ptr (x_659, x_658) -> h_register_ptr x_659 x_658
    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_90 -> h_register_int x_90
    192 | Register_ptr (x_92, x_91) -> h_register_ptr x_92 x_91
     191| Register_int x_663 -> h_register_int x_663
     192| Register_ptr (x_665, x_664) -> h_register_ptr x_665 x_664
    193193
    194194(** val register_type_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.