package dolmen_loop

  1. Overview
  2. Docs
exception Extension_not_found of string
type language =
  1. | Smtlib2 of Dolmen_smtlib2.Response.version
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 * Dolmen.Std.Loc.file * Dolmen.Std.Answer.t list
val parse_file_lazy : ?language:language -> string -> language * Dolmen.Std.Loc.file * Dolmen.Std.Answer.t list Stdlib.Lazy.t
val parse_input : ?language:language -> [< `File of string | `Raw of string * language * string | `Stdin of language ] -> language * Dolmen.Std.Loc.file * (unit -> Dolmen.Std.Answer.t option) * (unit -> unit)
module type S = sig ... end
val of_language : language -> language * string * (module S)
val of_extension : string -> language * string * (module S)
val of_filename : string -> language * string * (module S)