Re: ISSUE:4.1 daml:uniqueProperty

Christopher Welty wrote:

> ISSUE 3.4: UniqueProp is a bad name

...

>
>
> UniqueProp: Functional, UniqueRange
> UnambiguousProp: InverseFunctional, UniqueDomain

Rather than UniqueRange and UniqueDomain, I suggest SingletonRange and
SingletonDomain.  (Although I kind-of like Functional and InverseFunctional,
too.)

Received on Thursday, 11 July 2002 22:47:24 UTC