Parser (alt-ergo-lib.AltErgoLib.D

val syntax_error_ref : bool State.key

val interactive_prompt : (State.t -> string option) State.key

val interactive_prompt_lang : State.t -> string option

val init : 
  ?syntax_error_ref:bool ->
  ?interactive_prompt:(State.t -> string option) ->
  State.t ->
  State.t

val parse_logic : 
  ?preludes:Dolmen_loop.Logic.language Dolmen_loop.State.file list ->
  Dolmen_loop.Logic.language Dolmen_loop.State.file ->
  State.t ->
  State.t * Dolmen.Std.Statement.t option

val parse_response : 
  Dolmen.Std.Answer.t list ->
  State.t ->
  Dolmen_loop.Response.language Dolmen_loop.State.file ->
  State.t * (State.t -> State.t * Dolmen.Std.Answer.t option)

val expand : 
  State.t ->
  Dolmen.Std.Statement.t ->
  State.t
  * [ `Gen of
        (State.t ->
        State.t ->
        State.t)
        * (State.t ->
        State.t * Dolmen.Std.Statement.t option)
    | `Ok ]