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