Skip to main content

TwoType

inductive TwoType {
    first
    second
}

A type with exactly two values.

GitHub

first​

TwoType.first: TwoType

The first value.

match​

TwoType.match: (TwoType, R*, R*) -> R*

second​

TwoType.second: TwoType

The second value.