]>
Chapter2
Chapter 2: Using Types and Modes
2.0 Using Types and Modes
2.1 The Basic Idea
2.1.1 Domain Constructors
2.2 Writing Types and Modes
2.2.1 Types with No Arguments
2.2.2 Types with One Argument
2.2.3 Types with More Than One Argument
2.2.4 Modes
2.2.5 Abbreviations
2.3 Declarations
2.4 Records
2.5 Unions
2.5.1 Unions Without Selectors
2.5.2 Unions With Selectors
2.6 The ``Any'' Domain
2.7 Conversion
2.8 Subdomains Again
2.9 Package Calling and Target Types
2.10 Resolving Types
2.11 Exposing Domains and Packages
2.12 Commands for Snooping