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