UnitType

inductive UnitType {
    point
}

A type with exactly one inhabitant.

GitHub

---

match

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

point

UnitType.point: UnitType

The unique inhabitant.