P (dolmen_loop.Dolmen_loop.Response.P)

exception Extension_not_found of string

type language =

| 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_all : 
  ?language:language ->
  [< `File of string
  | `Raw of string * language * string
  | `Stdin of language ] ->
  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)