empty type

in type theory, a type with no terms

en-US/ˈɛmti ˈtaɪp/
en-GB/ɛmptiː ˈtaɪp/

Kategori:

data type