MOX

[Kyle Lahnakoski]

Brian P Templeton wrote:

> A multi-arrow is conceptually something like this:
> 
>                               x   y   z
>                               ^   ^   ^
>                                \  |  /
>                                 0 1 2
>                                 \ | /
>                                  ---
>                                   |
> 
> where 0, 1, and 2 are `branch numbers' and x, y, and z are objects in
> some 'verse. When the multi-arrow is active, it is considered to point
> to only the object at the end of the first branch - in this case, x -
> and when inactive, well, it is a complete multi-arrow, not pointing to
> anything, but just there. They will probably be used to implement
> multiple values.

With respect to the multi-arrow, as shown, is it important that the
multi-arrow have three parameters (0, 1, 2).  Does the multi-arrow have
an identifier beyond these ?three? parameters?  

Thanks