dolmen.zf
Parser.Incremental
dolmen
dolmen.class
dolmen.dimacs
dolmen.icnf
dolmen.intf
dolmen.line
dolmen.smtlib
dolmen.std
dolmen.tptp
val input : Lexing.position -> statement option MenhirInterpreter.checkpoint