Module type Index.CLAUSE

module type CLAUSE = Index_intf.CLAUSE

type t 

val compare : t -> t -> int

val to_lits : t -> Index_intf.lits