Parser (p.alt-ergo-lib.2.6.2.doc.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:??? ->
  ?interactive_prompt:??? ->
  State.t ->
  State.t

val parse_logic : 
  ?preludes:??? ->
  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 ]