Psmt2Frontend.Smtlib_lexer
val keyword : (string, Smtlib_parser.token) Stdlib.Hashtbl.t
val token : Stdlib.Lexing.lexbuf -> Smtlib_parser.token
val __ocaml_lex_token_rec : Stdlib.Lexing.lexbuf -> int -> Smtlib_parser.token
val comment : string -> Stdlib.Lexing.lexbuf -> Smtlib_parser.token
val __ocaml_lex_comment_rec : string -> Stdlib.Lexing.lexbuf -> int -> Smtlib_parser.token