The core Caml Light language

• Foreword
• Lexical conventions
• Global names
• Values
• Type expressions
• Constants
• Patterns
• Expressions
• Global definitions
• Directives
• Module implementations
• Module interfaces