Module Substs.Renaming

module Renaming: sig .. end

type t 

val create : unit -> t

val clear : t -> unit