5.1 Phrases
-
A simple semicolon ends the sentences, in
structures and in signatures. The double semicolon is not a
token. There is no ambiguity with the sequence, which has a special
construction (see 5.2).
- The declaration of a global variable is introduced by the keyword
``
value'', ``let'' being reserved to the
construction ``let..in'':
| Ocaml | Revised |
| let x = 23;; | value x = 23; |
| let x = 23 in x + 7;; | let x = 23 in x + 7; |
- In interfaces, one must use ``
value'', too, instead of
``val''.
| Ocaml | Revised |
| val x : int;; | value x : int; |