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/joint_LTL_LIN.mli

    r2951 r3019  
    192192| SAVE_CARRY
    193193| RESTORE_CARRY
    194 | LOW_ADDRESS of I8051.register * Graphs.label
    195 | HIGH_ADDRESS of I8051.register * Graphs.label
     194| LOW_ADDRESS of Graphs.label
     195| HIGH_ADDRESS of Graphs.label
    196196
    197197val ltl_lin_seq_rect_Type4 :
    198   'a1 -> 'a1 -> (I8051.register -> Graphs.label -> 'a1) -> (I8051.register ->
    199   Graphs.label -> 'a1) -> ltl_lin_seq -> 'a1
     198  'a1 -> 'a1 -> (Graphs.label -> 'a1) -> (Graphs.label -> 'a1) -> ltl_lin_seq
     199  -> 'a1
    200200
    201201val ltl_lin_seq_rect_Type5 :
    202   'a1 -> 'a1 -> (I8051.register -> Graphs.label -> 'a1) -> (I8051.register ->
    203   Graphs.label -> 'a1) -> ltl_lin_seq -> 'a1
     202  'a1 -> 'a1 -> (Graphs.label -> 'a1) -> (Graphs.label -> 'a1) -> ltl_lin_seq
     203  -> 'a1
    204204
    205205val ltl_lin_seq_rect_Type3 :
    206   'a1 -> 'a1 -> (I8051.register -> Graphs.label -> 'a1) -> (I8051.register ->
    207   Graphs.label -> 'a1) -> ltl_lin_seq -> 'a1
     206  'a1 -> 'a1 -> (Graphs.label -> 'a1) -> (Graphs.label -> 'a1) -> ltl_lin_seq
     207  -> 'a1
    208208
    209209val ltl_lin_seq_rect_Type2 :
    210   'a1 -> 'a1 -> (I8051.register -> Graphs.label -> 'a1) -> (I8051.register ->
    211   Graphs.label -> 'a1) -> ltl_lin_seq -> 'a1
     210  'a1 -> 'a1 -> (Graphs.label -> 'a1) -> (Graphs.label -> 'a1) -> ltl_lin_seq
     211  -> 'a1
    212212
    213213val ltl_lin_seq_rect_Type1 :
    214   'a1 -> 'a1 -> (I8051.register -> Graphs.label -> 'a1) -> (I8051.register ->
    215   Graphs.label -> 'a1) -> ltl_lin_seq -> 'a1
     214  'a1 -> 'a1 -> (Graphs.label -> 'a1) -> (Graphs.label -> 'a1) -> ltl_lin_seq
     215  -> 'a1
    216216
    217217val ltl_lin_seq_rect_Type0 :
    218   'a1 -> 'a1 -> (I8051.register -> Graphs.label -> 'a1) -> (I8051.register ->
    219   Graphs.label -> 'a1) -> ltl_lin_seq -> 'a1
     218  'a1 -> 'a1 -> (Graphs.label -> 'a1) -> (Graphs.label -> 'a1) -> ltl_lin_seq
     219  -> 'a1
    220220
    221221val ltl_lin_seq_inv_rect_Type4 :
    222   ltl_lin_seq -> (__ -> 'a1) -> (__ -> 'a1) -> (I8051.register ->
    223   Graphs.label -> __ -> 'a1) -> (I8051.register -> Graphs.label -> __ -> 'a1)
    224   -> 'a1
     222  ltl_lin_seq -> (__ -> 'a1) -> (__ -> 'a1) -> (Graphs.label -> __ -> 'a1) ->
     223  (Graphs.label -> __ -> 'a1) -> 'a1
    225224
    226225val ltl_lin_seq_inv_rect_Type3 :
    227   ltl_lin_seq -> (__ -> 'a1) -> (__ -> 'a1) -> (I8051.register ->
    228   Graphs.label -> __ -> 'a1) -> (I8051.register -> Graphs.label -> __ -> 'a1)
    229   -> 'a1
     226  ltl_lin_seq -> (__ -> 'a1) -> (__ -> 'a1) -> (Graphs.label -> __ -> 'a1) ->
     227  (Graphs.label -> __ -> 'a1) -> 'a1
    230228
    231229val ltl_lin_seq_inv_rect_Type2 :
    232   ltl_lin_seq -> (__ -> 'a1) -> (__ -> 'a1) -> (I8051.register ->
    233   Graphs.label -> __ -> 'a1) -> (I8051.register -> Graphs.label -> __ -> 'a1)
    234   -> 'a1
     230  ltl_lin_seq -> (__ -> 'a1) -> (__ -> 'a1) -> (Graphs.label -> __ -> 'a1) ->
     231  (Graphs.label -> __ -> 'a1) -> 'a1
    235232
    236233val ltl_lin_seq_inv_rect_Type1 :
    237   ltl_lin_seq -> (__ -> 'a1) -> (__ -> 'a1) -> (I8051.register ->
    238   Graphs.label -> __ -> 'a1) -> (I8051.register -> Graphs.label -> __ -> 'a1)
    239   -> 'a1
     234  ltl_lin_seq -> (__ -> 'a1) -> (__ -> 'a1) -> (Graphs.label -> __ -> 'a1) ->
     235  (Graphs.label -> __ -> 'a1) -> 'a1
    240236
    241237val ltl_lin_seq_inv_rect_Type0 :
    242   ltl_lin_seq -> (__ -> 'a1) -> (__ -> 'a1) -> (I8051.register ->
    243   Graphs.label -> __ -> 'a1) -> (I8051.register -> Graphs.label -> __ -> 'a1)
    244   -> 'a1
     238  ltl_lin_seq -> (__ -> 'a1) -> (__ -> 'a1) -> (Graphs.label -> __ -> 'a1) ->
     239  (Graphs.label -> __ -> 'a1) -> 'a1
    245240
    246241val ltl_lin_seq_discr : ltl_lin_seq -> ltl_lin_seq -> __
Note: See TracChangeset for help on using the changeset viewer.