Smtlib.Lexer
exception Error
val descr : token -> Dolmen_intf.Tok.descr
val token : (Lexing.lexbuf -> unit) -> Lexing.lexbuf -> token