Node:Union objects, Next:Declarations, Previous:Atoms, Up:Top

Union objects

The expression s || t evaluates to a union type.

y POSTFIX (a || b || ... || z) means (U y a) | (U y b) | ... | (U yz) where (U y a) is y if a is scalar and y POSTFIX a if a is non-scalar.