polytype

Noun

 * 1) Any of the types involved in polytypism.
 * 2) A cast, or facsimile copy, of an engraved block, matter in type, etc.
 * 3)  In the, a data type containing variables bound by one or more ∀ (for-all) quantifiers.
 * 1)  In the, a data type containing variables bound by one or more ∀ (for-all) quantifiers.
 * 1)  In the, a data type containing variables bound by one or more ∀ (for-all) quantifiers.

Verb

 * 1)  To produce a polytype of.
 * to polytype an engraving