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
type token =
| XOR
| WITH
| VOID
| UNIT
| TYPE
| TRUE
| TIMES
| THEORY
| THEN
| STRING of (string)
| SLASH
| SHARP
| RIGHTSQ
| RIGHTPAR
| RIGHTBR
| RIGHTARROW
| REWRITING
| REAL
| QUOTE
| QM_ID of (string)
| QM
| PV
| PROP
| PRED
| POWDOT
| POW
| PLUS
| PERCENT
| OR
| OF
| NOTEQ
| NOT
| MINUS
| MATCH
| MAPS_TO
| LT
| LRARROW
| LOGIC
| LET
| LEFTSQ
| LEFTPAR
| LEFTBR
| LEFTARROW
| LE
| INTEGER of (string)
| INT
| IN
| IF
| ID of (string)
| HEXADECIMAL of (string)
| HAT
| GT
| GOAL
| GE
| FUNC
| FORALL
| FALSE
| EXTENDS
| EXISTS
| EQUAL
| EOF
| END
| ELSE
| DOT
| DISTINCT
| DECIMAL of (string)
| CUT
| COMMA
| COLON
| CHECK_SAT
| CHECK
| CASESPLIT
| BOOL
| BITV
| BAR
| AXIOM
| AT
| AND
| AC