Module type Index.CLAUSE
val to_lits : t -> Index_intf.litsIterate on literals of the clause
val labels : t -> Index_intf.labelsSome integer labels. We assume that if
cto subsumed, thenlabels cis a subset oflabels d
Index.CLAUSEval to_lits : t -> Index_intf.litsIterate on literals of the clause
val labels : t -> Index_intf.labelsSome integer labels. We assume that if c to subsume d, then labels c is a subset of labels d