Documentation

Unique identifiers are created by creating heap objects in kind # that can be compared for value equality and then hashing them using their initial allocation address.

Allocate a new Unique value. The value returned will not compare equal to any other value of type Unique returned by previous calls to newUnique. There is no limit on the number of times newUnique may be called.