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	Righteous
  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	Righteous
  val x : int;;	value x : int;