[mercury-users] Unique and mostly-unique modes

[Ralph Becket]

David Overton, Thursday,  8 September 2005:
> 
> The inst `unique' means unique all the way down.

Ahh, of course.  That always struct me as an odd definition of inst
unique.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------