Discriminated union

From Wikipedia, the free encyclopedia

The term discriminated union may refer to: