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