polytype English

Meaning polytype meaning

What does polytype mean?

polytype noun

— Any of the types involved in polytypism.

— A cast, or facsimile copy, of an engraved block, matter in type, etc.

— (comptheory) In the Hindley–Milner type system, a data type containing variables bound by one or more ∀ (for-all) quantifiers.

polytype verb

— (transitive) To produce a polytype of.