dolmen.smtlib
Make.Lexer
The Lexer module for the language.
dolmen
dolmen.class
dolmen.dimacs
dolmen.icnf
dolmen.intf
dolmen.line
dolmen.std
dolmen.tptp
dolmen.zf
exception Error
The exception raised by the lexer when it cannot produce a token.
val token : Lexing.lexbuf -> token
The function producing token from a lexbuf.