polytype
/P AA0 L IY0 T AY0 P/noun
- 1
Any of the types involved in polytypism.
“Orthochrysotile is a polytype of chrysotile.”
- 2
A cast, or facsimile copy, of an engraved block, matter in type, etc.
- 3
In the Hindley–Milner type system, a data type containing variables bound by one or more ∀ (for-all) quantifiers.
verb
- 1
To produce a polytype of.
“to polytype an engraving”
Translate “polytype” into another language
Choose a language below to open the translator with English selected as the source language.