module type CLAUSE = sig .. end
sig
end
type t
val compare : t -> t -> int
t -> t -> int
val to_lits : t -> Index_intf.lits
t -> Index_intf.lits