MatitaTypes.proof
(** current proof handler *)
-class currentProof:
+class type currentProof =
object
inherit MatitaTypes.currentProof
method connect: [`Abort|`Quit] -> (unit -> bool) -> unit
end
+val currentProof: unit -> currentProof
+
+ (** currentProof singleton instance *)
+val instance: unit -> currentProof
+