sig
  type t = Term.term
  val equal : Term.HashableTerm.t -> Term.HashableTerm.t -> bool
  val hash : Term.HashableTerm.t -> int
end