Module Index_intf.SUBSUMPTION_IDX.C

module C: Index_intf.CLAUSE 

type t 

val compare : t -> t -> int

val to_lits : t -> Index_intf.lits