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