# Re: POSSREPs as union types

Date: Fri, 4 Sep 2009 12:55:12 -0700 (PDT)

Message-ID: <13435224-9bd5-4123-9af3-70e03aafcab7_at_t11g2000prh.googlegroups.com>

Please ignore all mention of "cartesian" in my last message.

On Sep 3, 1:22 pm, com..._at_hotmail.com wrote:

> A possrep (possible representation) maps a subset of a

*> cartesian product (namely those that satisfy the possrep constraint)
**> to values of the type. Two cartesian tuples can map to the same
**> value. A selector invocation (a possrep name with arguments) maps
**> its arguments as a cartesian tuple to the corresponding value.
*

I should have said:

A possrep (possible representation) maps a subset of a
tuple type (namely those that satisfy the possrep constraint)
to values. Two tuples can map to the same
value. A selector invocation (a possrep name with arguments) maps
its arguments as a tuple to the corresponding value.

philip Received on Fri Sep 04 2009 - 21:55:12 CEST