bottom type
Noun
Meaning
bottom type (plural bottom types)
(type theory, programming) The type that is a subtype of all other types.
Examples
Bottom type assessment Sonars have been developed that can be used to characterise the sea bottom into, for example, mud, sand, and gravel.