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_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)