Language "OCaml Light"

Syntax
  START: start ::= unit-implementation

Semantics
  start[[ _:start ]] : =>environments|null-type
Rule
  start[[ UI ]] = 
    initialise-binding initialise-storing initialise-giving
    finalise-failing finalise-throwing
      interpret[[ UI ]]

[
# 1  Lexical conventions
# 2  Values
# 3  Names
# 4  Type expressions
# 5  Constants
# 6  Patterns
# 7  Expressions
# 8  Type and exception definitions
# 9  Classes
# 10 Module interfaces
# 11 Module implementations
# 12 Core library
# A  Disambiguation
]