Module Libzipperposition.Clause

Clauses

val stat_clause_create : Logtk.Util.stat
module type S = Clause_intf.S
type 'c sets = {
c_set : 'c CCVector.ro_vector;

main set of clauses

c_sos : 'c CCVector.ro_vector;

set of support

}

Bundle of clause sets

Clauses that depend on a Context

module Make : functor (Ctx : Ctx.S) -> S with module Ctx = Ctx