Changeset 3019 for extracted/compiler.mli
- Timestamp:
- Mar 28, 2013, 5:27:46 PM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
extracted/compiler.mli
r2951 r3019 203 203 open RTLToERTL 204 204 205 open ERTLptr206 207 open ERTLToERTLptr208 209 205 open Fixpoints 210 206 … … 219 215 open LTL 220 216 221 open ERTL ptrToLTL217 open ERTLToLTL 222 218 223 219 open LIN … … 243 239 | Rtl_uniq_pass 244 240 | Ertl_pass 245 | Ertlptr_pass246 241 | Ltl_pass 247 242 | Lin_pass … … 251 246 val pass_rect_Type4 : 252 247 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 253 -> 'a1 -> 'a1 -> 'a1 ->pass -> 'a1248 -> 'a1 -> 'a1 -> pass -> 'a1 254 249 255 250 val pass_rect_Type5 : 256 251 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 257 -> 'a1 -> 'a1 -> 'a1 ->pass -> 'a1252 -> 'a1 -> 'a1 -> pass -> 'a1 258 253 259 254 val pass_rect_Type3 : 260 255 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 261 -> 'a1 -> 'a1 -> 'a1 ->pass -> 'a1256 -> 'a1 -> 'a1 -> pass -> 'a1 262 257 263 258 val pass_rect_Type2 : 264 259 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 265 -> 'a1 -> 'a1 -> 'a1 ->pass -> 'a1260 -> 'a1 -> 'a1 -> pass -> 'a1 266 261 267 262 val pass_rect_Type1 : 268 263 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 269 -> 'a1 -> 'a1 -> 'a1 ->pass -> 'a1264 -> 'a1 -> 'a1 -> pass -> 'a1 270 265 271 266 val pass_rect_Type0 : 272 267 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 273 -> 'a1 -> 'a1 -> 'a1 ->pass -> 'a1268 -> 'a1 -> 'a1 -> pass -> 'a1 274 269 275 270 val pass_inv_rect_Type4 : 276 271 pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 277 272 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 278 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) ->'a1273 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1 279 274 280 275 val pass_inv_rect_Type3 : 281 276 pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 282 277 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 283 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) ->'a1278 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1 284 279 285 280 val pass_inv_rect_Type2 : 286 281 pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 287 282 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 288 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) ->'a1283 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1 289 284 290 285 val pass_inv_rect_Type1 : 291 286 pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 292 287 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 293 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) ->'a1288 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1 294 289 295 290 val pass_inv_rect_Type0 : 296 291 pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 297 292 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 298 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) ->'a1293 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1 299 294 300 295 val pass_discr : pass -> pass -> __
Note: See TracChangeset
for help on using the changeset viewer.