unit type

type allowing only one value in type theory

الفئات: