empty type

in type theory, a type with no terms

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

ক্যাটাগরি:

data type