package alt-ergo-lib

  1. Overview
  2. Docs
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 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 ]
OCaml

Innovation. Community. Security.