empty type

in type theory, a type with no terms

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

Danh mục:

data type