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