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