1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
type token =
| VDASH
| USE_SIG
| USEONLY
| TYPEABBREV
| TYPE
| STRING of ( string )
| SLASH
| SIGMA
| SIG
| SHORTEN
| RULE
| RPAREN
| REPLACE
| RCURLY
| RBRACKET
| QUOTED of ( string )
| QDASH
| PRED
| PIPE
| PI
| OR
| NIL
| NAMESPACE
| NAME
| MODULE
| MODE
| MOD
| MINUSs
| MINUSr
| MINUSi
| MINUS
| MACRO
| LPAREN
| LOCALKIND
| LOCAL
| LCURLY
| LBRACKET
| KIND
| IS
| IO_COLON of (char)
| IO of (char)
| INTEGER of ( int )
| INDEX
| IMPORT
| IFF
| IF
| FULLSTOP
| FRESHUV
| FLOAT of ( float )
| FIXITY of (string)
| FAMILY_TIMES of (string)
| FAMILY_TILDE of (string)
| FAMILY_TICK of (string)
| FAMILY_SHARP of (string)
| FAMILY_QMARK of (string)
| FAMILY_PLUS of (string)
| FAMILY_OR of (string)
| FAMILY_MINUS of (string)
| FAMILY_LT of (string)
| FAMILY_GT of (string)
| FAMILY_EXP of (string)
| FAMILY_EQ of (string)
| FAMILY_BTICK of (string)
| FAMILY_AND of (string)
| EXTERNAL
| EXPORTDEF
| EQ2
| EQ
| EOF
| DIV
| DARROW
| CUT
| CONSTRAINT
| CONSTANT of ( string )
| CONS
| CONJ2
| CONJ
| COLON
| CLOSED
| BIND
| BEFORE
| AS
| ARROW
| AFTER
| ACCUM_SIG
| ACCUMULATE