Definition
Type
A type is fundamentally a classification or specification for terms (which can represent values, expressions, programs, proofs, etc.). Terms belonging to the same type share common properties, structure, or behaviour.
Type
A type is fundamentally a classification or specification for terms (which can represent values, expressions, programs, proofs, etc.). Terms belonging to the same type share common properties, structure, or behaviour.