Definitions
1.NounAny of the types involved in polytypism."Orthochrysotile is a polytype of chrysotile."
2.NounA cast, or facsimile copy, of an engraved block, matter in type, etc.
3.NounIn the Hindley–Milner type system, a data type containing variables bound by one or more ∀ (for-all) quantifiers.
4.VerbTo produce a polytype of."to polytype an engraving"