Skip to main content

TwoType

inductive TwoType {
    first
    second
}

A type with exactly two values.

GitHub

first​

TwoType.first: TwoType

The first value.

second​

TwoType.second: TwoType

The second value.