[nem-en] Variant pattern

[Michal Moskal]

On 2/24/07, Vladimir Reshetnikov <v.reshetnikov at gmail.com> wrote:
> variant V {
>     | A
>     | B
>
> }
>
> module P
> {
>     Foo(x : V) : void {
>         | V.A.B => () // What does it mean?
>     }
> }

I would guess it means V.B because V.A derives from V, so the nested
types of V (including B) should be visible from V.A. Not something I
would use in my code though ;)

-- 
   Michał