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)