dolmen.ae
Make.Lexer
The Lexer module for the language.
dolmen
dolmen.class
dolmen.dimacs
dolmen.icnf
dolmen.intf
dolmen.line
dolmen.smtlib2
dolmen.std
dolmen.tptp
dolmen.zf
dolmen_smtlib2_poly
dolmen_smtlib2_v6
dolmen_smtlib2_v6_response
dolmen_smtlib2_v6_script
dolmen_tptp_v6_3_0
exception Error
The exception raised by the lexer when it cannot produce a token.
val descr : token -> Dolmen_intf.Tok.descr
Asspcoate a description to each token, to help with error messages.
val token : (Lexing.lexbuf -> unit) -> Lexing.lexbuf -> token
The function producing token from a lexbuf.