polytype (English, noun)
expansion: polytype (plural polytypes)
Senses:
glosses: Any of the types involved in polytypism.
glosses: A cast, or facsimile copy, of an engraved block, matter in type, etc.
topics: computing
computing-theory
engineering
mathematics
natural-sciences
physical-sciences
sciences
glosses: In the Hindley–Milner type system, a data type containing variables bound by one or more ∀ (for-all) quantifiers.
Forms:
form: polytypes
tags: plural