dolmen.std
Transformer.Make
dolmen
dolmen.ae
dolmen.class
dolmen.dimacs
dolmen.icnf
dolmen.intf
dolmen.line
dolmen.smtlib2
dolmen.tptp
dolmen.zf
dolmen_smtlib2_poly
dolmen_smtlib2_v6
dolmen_smtlib2_v6_response
dolmen_smtlib2_v6_script
dolmen_tptp_v6_3_0
module Loc : Loc.S
module Ty : sig ... end
module Lex : Dolmen_intf.Lex.S with type token := Ty.token
module Parse : Dolmen_intf.Parse.S with type token := Ty.token and type statement := Ty.statement
include module type of struct include Ty end
type token = Ty.token
type statement = Ty.statement
val env : string list
val incremental : bool
val error : int -> string
module Lexer = Lex
module Parser = Parse
val find_env : string -> string list -> string option
val find : ?dir:string -> string -> string option
val error_message : Ty.token option -> int -> [> `Advanced of string * (Format.formatter -> unit) * (Format.formatter -> unit) * (Format.formatter -> unit) | `Regular of Format.formatter -> unit ]
val parse_aux : k_exn:(unit -> unit) -> (Lexing.lexbuf -> unit) -> (Lexing.lexbuf -> unit) -> Lexing.lexbuf -> ((Lexing.lexbuf -> Ty.token) -> Lexing.lexbuf -> 'a) -> unit -> 'a
val parse_file : string -> Loc.file * Ty.statement list
val parse_file_lazy : string -> Loc.file * Ty.statement list lazy_t
val parse_raw_lazy : filename:string -> string -> Loc.file * Ty.statement list lazy_t
val parse_input : [ `Contents of string * string | `File of string | `Stdin ] -> Loc.file * (unit -> Ty.statement option) * (unit -> unit)