a unit type is a type that allows only one value (and thus can hold no information It is customary to talk about the unit type and ignore the details of its value. One may also regard the unit type as the type of 0-tuple The unit type is implemented in most functional programming languages. cf) In ML descendants (including OCaml, Standard ML, and F#), the type is called but the value is written ..