Ignore:
Timestamp:
Mar 7, 2013, 12:55:34 PM (8 years ago)
Author:
sacerdot
Message:

Extracted again after James's cleanup and the implementation of the
new testing function to be used in the untrusted code.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/errorMessages.mli

    r2773 r2797  
    7474| BadCostLabelling
    7575| RepeatedCostLabel
     76| NotTerminated
    7677
    7778val errorMessage_rect_Type4 :
     
    8283  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    8384  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
    84   'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
     85  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
    8586
    8687val errorMessage_rect_Type5 :
     
    9192  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    9293  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
    93   'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
     94  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
    9495
    9596val errorMessage_rect_Type3 :
     
    100101  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    101102  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
    102   'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
     103  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
    103104
    104105val errorMessage_rect_Type2 :
     
    109110  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    110111  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
    111   'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
     112  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
    112113
    113114val errorMessage_rect_Type1 :
     
    118119  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    119120  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
    120   'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
     121  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
    121122
    122123val errorMessage_rect_Type0 :
     
    127128  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    128129  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 ->
    129   'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
     130  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> errorMessage -> 'a1
    130131
Note: See TracChangeset for help on using the changeset viewer.