[{"word":"polytypes","phonetics":[],"meanings":[{"partOfSpeech":"noun","definitions":[{"definition":"Any of the types involved in polytypism.","synonyms":[],"antonyms":[],"example":"Orthochrysotile is a polytype of chrysotile."},{"definition":"A cast, or facsimile copy, of an engraved block, matter in type, etc.","synonyms":[],"antonyms":[]},{"definition":"In the Hindley–Milner type system, a data type containing variables bound by one or more ∀ (for-all) quantifiers.","synonyms":[],"antonyms":[]}],"synonyms":[],"antonyms":[]}],"license":{"name":"CC BY-SA 3.0","url":"https://creativecommons.org/licenses/by-sa/3.0"},"sourceUrls":["https://en.wiktionary.org/wiki/polytype","https://en.wiktionary.org/wiki/polytypes"]}]