copy

fun copy(): NameAllocator
Content copied to clipboard

Create a deep copy of this NameAllocator. Useful to create multiple independent refinements of a NameAllocator to be used in the respective definition of multiples, independently-scoped, inner code blocks.

Return

A deep copy of this NameAllocator.