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