unit type

type allowing only one value in type theory

Danh mục: