(theory) | discriminated union - The discriminated union of two sets A and B isA + B = inA, a) | a in U inB, b)| b in where inA and inB are arbitrary tags which specify which summand an element originates from. A type (especially an algebraic data type) might be described as a discriminated union if it is a sum type whose objects consist of a tag to say which part of the union they belong to and a value of the corresponding type. |

Browse

Discrete quantity

Discretely

discreteness

Discretion

Discretional

Discretionally

discretionary

discretionary trust

Discretionary trusts

Discretive

Discretive proposition

Discretively

Discriminable

Discriminal

Discriminant

Discriminate

**-- discriminated union --**

Discriminately

Discriminateness

Discriminating

Discrimination

Discriminative

discriminative stimulus

Discriminatively

Discriminator

Discriminatory

Discriminous

Discrive

Discrown

Discruciate

Discubitory

Disculpate

Disculpation

Discretely

discreteness

Discretion

Discretional

Discretionally

discretionary

discretionary trust

Discretionary trusts

Discretive

Discretive proposition

Discretively

Discriminable

Discriminal

Discriminant

Discriminate

Discriminately

Discriminateness

Discriminating

Discrimination

Discriminative

discriminative stimulus

Discriminatively

Discriminator

Discriminatory

Discriminous

Discrive

Discrown

Discruciate

Discubitory

Disculpate

Disculpation