* http://helm.cs.unibo.it/
*)
+exception NoUnfinishedProof
+
class type script =
object
method proofConclusion: Cic.term (** @raise Statement_error *)
method stack: Continuationals.Stack.t (** @raise Statement_error *)
- method setGoal: int -> unit
- method goal: int
+ method setGoal: int option -> unit
+ method goal: int option
(** end of script, true if the whole script has been executed *)
method eos: bool