1.1 Generative Tokens
1.2 Immutable Strings
1.3 Uncallable Functions
1.4 Option Values
1.4.1 Contracts for Option Values
1.5 Pairs
1.6 Results
1.6.1 Successful Results
1.6.2 Failed Results
1.7 Symbols
1.8 Variants
1.9 Equivalence Relations
1.10 Comparators
1.10.1 Constructing Comparators
1.10.2 Predefined Comparators
1.10.3 Comparison Constants
1.10.4 Comparator Contracts
1.10.5 Comparator Chaperones and Impersonators
1.11 Ranges
1.11.1 Range Data Model
1.11.1.1 Types of Ranges
1.11.1.2 Range Bounds
1.11.2 Range Constructors
1.11.3 Querying Ranges
1.11.4 Operations on Ranges