Parameter Make.1-C
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
Make.1-Cval 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