package dolmen_loop

  1. Overview
  2. Docs

Module Response.PSource

Sourceexception Extension_not_found of string
Sourcetype language =
  1. | Smtlib2 of Dolmen_smtlib2.Response.version
Sourceval enum : (string * language) list
Sourceval string_of_language : language -> string
Sourceval find : ?language:language -> ?dir:string -> string -> string option
Sourceval parse_file : ?language:language -> string -> language * Dolmen.Std.Loc.file * Dolmen.Std.Answer.t list
Sourceval parse_file_lazy : ?language:language -> string -> language * Dolmen.Std.Loc.file * Dolmen.Std.Answer.t list Lazy.t
Sourceval parse_raw_lazy : ?language:language -> filename:string -> string -> language * Dolmen.Std.Loc.file * Dolmen.Std.Answer.t list Lazy.t
Sourceval 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)
Sourcemodule type S = sig ... end
Sourceval of_language : language -> language * string * (module S)
Sourceval of_extension : string -> language * string * (module S)
Sourceval of_filename : string -> language * string * (module S)