Module LogtkIndex.SUBSUMPTION_IDX.C

module C: LogtkIndex.CLAUSE 

type t 
val cmp : t -> t -> int
Compare two clauses
val to_lits : t -> LogtkIndex.lits
Iterate on literals of the clause