sig
  type renaming
  val rename : Rename.renaming -> Term.term -> Term.term
  val renaming_away : Term.term -> Rename.renaming
  val renaming_aways : Term.term list -> Rename.renaming
  val extend_away : Rename.renaming -> Term.term -> Rename.renaming
  val eq_opt : Term.term -> Term.term -> Subs.subs option
  val eq : Term.term -> Term.term -> bool
  val compare : Term.term -> Term.term -> int
end