package dolmen

  1. Overview
  2. Docs

Source file tokens.ml

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

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
  | EOF
  | DEFINE_FUN_REC
  | DEFINE_FUNS_REC
  | DEFINE_FUN
  | DEC of (string)
  | CLOSE
  | BIN of (string)
  | ATTRIBUTE
  | AS