Index_intf.CLAUSE
type t
val compare : t -> t -> int
Compare two clauses
val to_lits : t -> lits
Iterate on literals of the clause
val labels : t -> labels
Some integer labels. We assume that if c to subsume d, then labels c is a subset of labels d
c
d
labels c
labels d