Contents

• Reserved words
• Comments
• Special constants
• Identifiers
• Infixed operators
• Notational conventions used in the grammar
• Grammar for the Core language
• Interactive sessions
• Grammar for the Moscow ML module language
• Built-in types, constructors and exceptions
• Built-in variables and functions
• List of all library units
• The preloaded library units
• Relation to Standard ML
• Moscow ML library index