Module Katbv_lib.Menhir_parser

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