unit type

type allowing only one value in type theory

زمرے: