Module ProofState_intf.S.ActiveSet

module ActiveSet: sig .. end

include ProofState_intf.S.CLAUSE_SET

val clauses : unit -> C.ClauseSet.t

val num_clauses : unit -> int