Ignore:
Timestamp:
Feb 25, 2013, 9:54:49 PM (7 years ago)
Author:
sacerdot
Message:

Exported again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTLabsToRTL.ml

    r2717 r2730  
    123123open AssocList
    124124
    125 open Deqsets
     125open Deqsets_extra
    126126
    127127open State
     
    152152    -> 'a1) -> register_type -> 'a1 **)
    153153let rec register_type_rect_Type4 h_register_int h_register_ptr = function
    154 | Register_int x_17702 -> h_register_int x_17702
    155 | Register_ptr (x_17704, x_17703) -> h_register_ptr x_17704 x_17703
     154| Register_int x_2393 -> h_register_int x_2393
     155| Register_ptr (x_2395, x_2394) -> h_register_ptr x_2395 x_2394
    156156
    157157(** val register_type_rect_Type5 :
     
    159159    -> 'a1) -> register_type -> 'a1 **)
    160160let rec register_type_rect_Type5 h_register_int h_register_ptr = function
    161 | Register_int x_17708 -> h_register_int x_17708
    162 | Register_ptr (x_17710, x_17709) -> h_register_ptr x_17710 x_17709
     161| Register_int x_2399 -> h_register_int x_2399
     162| Register_ptr (x_2401, x_2400) -> h_register_ptr x_2401 x_2400
    163163
    164164(** val register_type_rect_Type3 :
     
    166166    -> 'a1) -> register_type -> 'a1 **)
    167167let rec register_type_rect_Type3 h_register_int h_register_ptr = function
    168 | Register_int x_17714 -> h_register_int x_17714
    169 | Register_ptr (x_17716, x_17715) -> h_register_ptr x_17716 x_17715
     168| Register_int x_2405 -> h_register_int x_2405
     169| Register_ptr (x_2407, x_2406) -> h_register_ptr x_2407 x_2406
    170170
    171171(** val register_type_rect_Type2 :
     
    173173    -> 'a1) -> register_type -> 'a1 **)
    174174let rec register_type_rect_Type2 h_register_int h_register_ptr = function
    175 | Register_int x_17720 -> h_register_int x_17720
    176 | Register_ptr (x_17722, x_17721) -> h_register_ptr x_17722 x_17721
     175| Register_int x_2411 -> h_register_int x_2411
     176| Register_ptr (x_2413, x_2412) -> h_register_ptr x_2413 x_2412
    177177
    178178(** val register_type_rect_Type1 :
     
    180180    -> 'a1) -> register_type -> 'a1 **)
    181181let rec register_type_rect_Type1 h_register_int h_register_ptr = function
    182 | Register_int x_17726 -> h_register_int x_17726
    183 | Register_ptr (x_17728, x_17727) -> h_register_ptr x_17728 x_17727
     182| Register_int x_2417 -> h_register_int x_2417
     183| Register_ptr (x_2419, x_2418) -> h_register_ptr x_2419 x_2418
    184184
    185185(** val register_type_rect_Type0 :
     
    187187    -> 'a1) -> register_type -> 'a1 **)
    188188let rec register_type_rect_Type0 h_register_int h_register_ptr = function
    189 | Register_int x_17732 -> h_register_int x_17732
    190 | Register_ptr (x_17734, x_17733) -> h_register_ptr x_17734 x_17733
     189| Register_int x_2423 -> h_register_int x_2423
     190| Register_ptr (x_2425, x_2424) -> h_register_ptr x_2425 x_2424
    191191
    192192(** val register_type_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.