Module Katbb_lib.Menhir_parser

type token =
| ZERO
| VAR of string
| TILDE
| THEN
| STAR
| SCOLON
| RPAR
| QMARK
| PLUS
| ONE
| LPAR
| IF
| EOF
| ELSE
| BTICK
| BANG
exception Error
val exp_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> (Ast.test, Ast.test) Kat.Ast.exp