package smtml
Module Smtlib.Lexer
val descr : token -> Dolmen_intf.Tok.descrval token : (Lexing.lexbuf -> unit) -> Lexing.lexbuf -> tokenSmtlib.Lexerval descr : token -> Dolmen_intf.Tok.descrval token : (Lexing.lexbuf -> unit) -> Lexing.lexbuf -> token