Contents
1 Overview
2 Differences with Standard ML
 2.1 Sets
 2.2 Numbers and Physical Units
 2.3 Other Differences
3 Core Types
4 The Standard Library
 4.1 General Purpose Exceptions and Functions
 4.2 Lists
 4.3 Sets and Maps
 4.4 Refs and Arrays
 4.5 Strings
 4.6 Integer Arithmetic
 4.7 Numerical Operations
 4.8 Large Integer Arithmetic
 4.9 Input/Output
 4.10 Miscellaneous
5 Running the System
 5.1 Starting up
 5.2 Compiling, Linking, Finding Dependencies
 5.3 Debugger
 5.4 Profiler
 5.5 Separate Compilation and Modules
 5.6 Editor Support
 5.7 Bugs
 5.8 Common Problems
 5.9 Reporting Bugs, Making Suggestions
A Precedence Table
Bibliography
Index
Index