I have a collection where I want an identifier for each entity in that collection to be unique. Can that be specified?

I know of distinct on coll-of, but that just enures that each entity is unique AFAICS

If you can write a predicate function, you can make that a spec

Nothing for this built in