Logtk__Subst.Renaming
type t
val create : unit -> t
Make a fresh renaming. It can only grow, so it is safe to use it as a value.
val none : t
Renaming that doesn't actually rename(!)