Module type LogtkIndex.CLAUSE

module type CLAUSE = sig .. end

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