summaryrefslogtreecommitdiffstats
path: root/kalzium/src/solver/parser.mli
blob: 63d8dece267b21439b2af42eee90e73c4673d40a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
type token =
  | INT of (int)
  | PLUS
  | MINUS
  | LPAREN
  | RPAREN
  | LBRACKET
  | RBRACKET
  | EOF
  | CAPITAL of (string)
  | MINOR of (string)
  | ARROW

val main :
  (Lexing.lexbuf  -> token) -> Lexing.lexbuf -> Chemset.listitems