# polytype

> English word · Noun

## Definitions
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 Hindley–Milner type system, a data type containing variables bound by one or more ∀ (for-all) quantifiers.

## Etymology
From poly- + type.

## Source
Compiled from Wiktionary via kaikki.org (CC BY-SA). Data vintage: 2026-05-06.
Canonical page: https://plainspell.com/en/word/polytype