OoasTools

T_FLOATNUMBER=29

T_SYSTEM=6

T_ELSE=87

T_LPAREN=12

T_DUNION=102

T_BOOL=25

T_METHODS=35

T_INDS=105

T_OR=69

T_OD=38

T_AND=75

T_OF=18

T_STRINGLITERAL=93

T_SET=66

T_SKIP=52

T_WITH=57

T_DOM=108

T_WS=111

T_VAR=34

T_SUM=47

T_REQUIRES=45

T_DINTER=101

T_HEAD=104

T_AUTOCONS=33

T_END=43

T_TRUE=90

T_LSQPAREN=15

T_PRIMED=97

T_MAPS=96

T_NIL=92

T_INFTY=24

T_IF=85

LINE_COMMENT=113

T_THEN=86

T_FLOAT=28

T_TAIL=107

T_SELF=55

T_MERGE=110

T_DIFF=48

T_FOLDRL=51

T_QUANTITY=22

T_IN=65

T_MUNION=82

T__126=126

T__125=125

T_INTER=74

T_SEMICOLON=7

T_FOLDLR=50

T_CARD=99

T_FALSE=91

T_CONT=44

T_SUBSET=68

T_COMMA=19

T_RANGETO=27

T_MINUS=23

T_CONC=77

T_IDIV=71

T_FORALL=88

T_DERIV=46

T_CONSTS=4

T_TYPES=5

T_GREATEREQUAL=60

T__118=118

T_RNG=109

T__119=119

T_MOD=72

T__117=117

T_SEQMOD_MAPOVERRIDE=83

T__124=124

T__123=123

T_ELEMS=103

T__122=122

T__121=121

T_IMPLIES=64

T__120=120

T_EXISTS=89

T_POW=76

T_COMMENT=112

T_RPAREN=13

T_PRIO=10

T_RNGRESBY=80

T_ABS=98

T_DIV=70

T_LIST=14

T_CBRL=31

T_DCONC=100

T_ABORT=53

T_CHAR=30

T_POINT=84

T_STATIC=39

T_CBRR=32

T_INT=26

T_COLON=42

T_PROD=49

T_ACTIONS=36

T_DIGIT=114

T_LESS=61

T_BAR=95

T_TO=21

T_NONDET=11

T_DOMRESBY=78

T_DOMRESTO=79

T_EQUAL=9

T_GREATER=59

T_KILL=54

T_RNGRESTO=81

T_RSQPAREN=17

T_NEW=94

T_INTNUMBER=16

T_UNION=73

T_OBS=40

T_BIIMPLIES=58

T_NOTEQUAL=63

T_IDENTIFIER=8

T_DO=37

FLOAT_OR_INT_OR_RANGE=115

T_LEN=106

T_NOT=67

T_ASSIGNMENT=56

T_LETTER=116

T_MAP=20

T_LESSEQUAL=62

T_CTRL=41

']|'=118

'begin'=119

'as'=121

'dec'=125

'|['=117

'qval'=122

'('=12

'::'=126

'-'=23

')'=13

'&'=120

'steady'=123

'inc'=124