Smtlib.Parser
exception Error of int
val file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> statement list
val input : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> statement option