package dolmen

  1. Overview
  2. Docs
package dolmen
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module I : Id_intf.Logic
module T : sig ... end
module S : sig ... end

Signature

exception Extension_not_found of string
type language =
  1. | Dimacs
  2. | ICNF
  3. | Smtlib
  4. | Tptp
  5. | Zf
val enum : (string * language) list
val string_of_language : language -> string
val find : ?language:language -> ?dir:string -> string -> string option
val parse_file : ?language:language -> string -> language * S.t list
val parse_input : ?language:language -> [ `File of string | `Stdin of language ] -> language * (unit -> S.t option)
module type S = sig ... end
val of_language : language -> language * string * (module S)
val of_extension : string -> language * string * (module S)