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
type token =
| UNSAT
| UNDERSCORE
| SYMBOL of (string)
| STR of (string)
| SAT
| OPEN
| NUM of (string)
| MODEL
| MATCH
| LET
| KEYWORD of (string)
| HEX of (string)
| FORALL
| EXISTS
| ERROR
| EOF
| DEFINE_FUN_REC
| DEFINE_FUNS_REC
| DEFINE_FUN
| DEC of (string)
| CLOSE
| BIN of (string)
| ATTRIBUTE
| AS