unit type

type allowing only one value in type theory

Kategori: