dolmen.line
Dolmen_line
dolmen
dolmen.ae
dolmen.class
dolmen.dimacs
dolmen.icnf
dolmen.intf
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
val consume : newline:(Lexing.lexbuf -> unit) -> sync:(Lexing.lexbuf -> unit) -> Lexing.lexbuf -> unit
Consumes all characters on the current line.