Psmt2Frontend.Smtlib_parser
type token =
val term_list : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Smtlib_syntax.term list * bool
val term : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Smtlib_syntax.term
val commands : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Smtlib_syntax.commands