Module LogtkSubsts.Renaming

module Renaming: sig .. end

type t 
val create : unit -> t
val clear : t -> unit