module Check: sig .. end
sig
end
val reset : unit -> unit
unit -> unit
val set : string -> unit
string -> unit
val is_set : unit -> bool
unit -> bool
val iter : (qed:Lang.F.term -> raw:Lang.F.term -> goal:Lang.F.pred -> unit) -> unit
(qed:Lang.F.term -> raw:Lang.F.term -> goal:Lang.F.pred -> unit) -> unit