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
type token =
| WITH
| WILDCARD
| WHERE
| VERTICAL_BAR
| VAL
| UPPER_WORD of (string)
| TYPE
| THEN
| SEMI_COLON
| RIGHT_PAREN
| RIGHT_BRACKET
| REWRITE
| QUOTED of (string)
| PROP
| PI
| MATCH
| LOWER_WORD of (string)
| LOGIC_TRUE
| LOGIC_OR
| LOGIC_NOT
| LOGIC_NEQ
| LOGIC_IMPLY
| LOGIC_FORALL
| LOGIC_FALSE
| LOGIC_EXISTS
| LOGIC_EQUIV
| LOGIC_EQ
| LOGIC_AND
| LEMMA
| LEFT_PAREN
| LEFT_BRACKET
| INTEGER of (string)
| INT
| INCLUDE
| IF
| GOAL
| FUN
| EQDEF
| EOF
| END
| ELSE
| DOT
| DEF
| DATA
| COMMA
| COLON
| ASSERT
| ARROW
| ARITH_PRODUCT
| ARITH_PLUS
| ARITH_MINUS
| ARITH_LT
| ARITH_LEQ
| ARITH_GT
| ARITH_GEQ
| AND