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