sig
  type t
  val create : unit -> Substs.Renaming.t
  val clear : Substs.Renaming.t -> unit
end