Ignore:
Timestamp:
Mar 28, 2013, 5:27:46 PM (7 years ago)
Author:
sacerdot
Message:

New extraction after ERTLptr abortion.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/compiler.mli

    r2951 r3019  
    203203open RTLToERTL
    204204
    205 open ERTLptr
    206 
    207 open ERTLToERTLptr
    208 
    209205open Fixpoints
    210206
     
    219215open LTL
    220216
    221 open ERTLptrToLTL
     217open ERTLToLTL
    222218
    223219open LIN
     
    243239| Rtl_uniq_pass
    244240| Ertl_pass
    245 | Ertlptr_pass
    246241| Ltl_pass
    247242| Lin_pass
     
    251246val pass_rect_Type4 :
    252247  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    253   -> 'a1 -> 'a1 -> 'a1 -> pass -> 'a1
     248  -> 'a1 -> 'a1 -> pass -> 'a1
    254249
    255250val pass_rect_Type5 :
    256251  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    257   -> 'a1 -> 'a1 -> 'a1 -> pass -> 'a1
     252  -> 'a1 -> 'a1 -> pass -> 'a1
    258253
    259254val pass_rect_Type3 :
    260255  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    261   -> 'a1 -> 'a1 -> 'a1 -> pass -> 'a1
     256  -> 'a1 -> 'a1 -> pass -> 'a1
    262257
    263258val pass_rect_Type2 :
    264259  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    265   -> 'a1 -> 'a1 -> 'a1 -> pass -> 'a1
     260  -> 'a1 -> 'a1 -> pass -> 'a1
    266261
    267262val pass_rect_Type1 :
    268263  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    269   -> 'a1 -> 'a1 -> 'a1 -> pass -> 'a1
     264  -> 'a1 -> 'a1 -> pass -> 'a1
    270265
    271266val pass_rect_Type0 :
    272267  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    273   -> 'a1 -> 'a1 -> 'a1 -> pass -> 'a1
     268  -> 'a1 -> 'a1 -> pass -> 'a1
    274269
    275270val pass_inv_rect_Type4 :
    276271  pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    277272  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    278   'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
     273  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
    279274
    280275val pass_inv_rect_Type3 :
    281276  pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    282277  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    283   'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
     278  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
    284279
    285280val pass_inv_rect_Type2 :
    286281  pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    287282  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    288   'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
     283  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
    289284
    290285val pass_inv_rect_Type1 :
    291286  pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    292287  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    293   'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
     288  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
    294289
    295290val pass_inv_rect_Type0 :
    296291  pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    297292  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    298   'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
     293  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
    299294
    300295val pass_discr : pass -> pass -> __
Note: See TracChangeset for help on using the changeset viewer.