val syntax_error_ref : bool State.keyval interactive_prompt_lang : State.t -> string optionval 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 optionval 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 ]