Ignore:
Timestamp:
Mar 12, 2013, 5:53:56 PM (8 years ago)
Author:
sacerdot
Message:

Pretty printing of the LTL program.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTLabsToRTL.ml

    r2827 r2854  
    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_2144 -> h_register_int x_2144
     153| Register_ptr (x_2146, x_2145) -> h_register_ptr x_2146 x_2145
    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_2150 -> h_register_int x_2150
     160| Register_ptr (x_2152, x_2151) -> h_register_ptr x_2152 x_2151
    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_2156 -> h_register_int x_2156
     167| Register_ptr (x_2158, x_2157) -> h_register_ptr x_2158 x_2157
    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_2162 -> h_register_int x_2162
     174| Register_ptr (x_2164, x_2163) -> h_register_ptr x_2164 x_2163
    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_2168 -> h_register_int x_2168
     181| Register_ptr (x_2170, x_2169) -> h_register_ptr x_2170 x_2169
    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_2174 -> h_register_int x_2174
     188| Register_ptr (x_2176, x_2175) -> h_register_ptr x_2176 x_2175
    189189
    190190(** val register_type_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.