polytype

== English == === Etymology === From poly- + type. === Pronunciation === === Noun === polytype (plural polytypes) Any of the types involved in polytypism. A cast, or facsimile copy, of an engraved block, matter in type, etc. (computing theory) In the Hindley–Milner type system, a data type containing variables bound by one or more ∀ (for-all) quantifiers. Coordinate term: monotype === Verb === polytype (third-person singular simple present polytypes, present participle polytyping, simple past and past participle polytyped) (transitive) To produce a polytype of. to polytype an engraving == French == === Pronunciation === Homophones: polytypent, polytypes === Verb === polytype inflection of polytyper: first/third-person singular present indicative/subjunctive second-person singular imperative