sig
  type t = FOTerm.t * FOTerm.t
  type rhs = FOTerm.t
  val compare : t -> t -> int
  val extract : t -> Index_intf.term * rhs * bool
  val priority : t -> int
end