TCSLib
Tcsformulalexer
exception Eof
val __ocaml_lex_tables : Lexing.lex_tables
val lexer : Lexing.lexbuf -> Tcsformulaparser.token
val __ocaml_lex_lexer_rec : Lexing.lexbuf -> int -> Tcsformulaparser.token