IdShortsAreUnique🔗
Check that the Referable.idShort's among the
referables
are
unique in their namespace.
Code
Code not available as this is implementation-specific.