class type uiType = object
.. end
method name : string
method options : Options.optionDescr list
method enterBlock : (Util.symbol * Logic.pred) list -> (string * string) list -> unit
method exitBlock : unit
method start_goal : Logic.pred -> unit
Called when a goal is initiated
method goal_success : Logic.pred -> Proof.proof -> unit
Called when a goal is successfully proved
method goal_failure : Logic.pred -> unit
Called when a goal fails
method assume : Util.symbol -> Logic.pred -> unit
Called when an assumption is encountered
method unassume : unit
Called when an assumption is retracted
method run : unit
Called to start the UI