polytype
noun
Definitions
Any of the types involved in polytypism.
Example: Orthochrysotile is a polytype of chrysotile.
A cast, or facsimile copy, of an engraved block, matter in type, etc.
In the Hindley–Milner type system, a data type containing variables bound by one or more ∀ (for-all) quantifiers.
verb
Definitions
To produce a polytype of.
Example: to polytype an engraving