10.10  Types

• Overview
• Base Types
• Naming Types
• Tuple Types
• Record Types
• List Types
• Function Types
• Ref Types
• Enum Types
• Type Variables
• Type Constraint Expressions
• The Value Restriction