Miscellaneous

• The ``else'' is required in the ``if'' instruction:

  Ocaml	Righteous
  if a then b	if a then b else ()

• The boolean operations ``or'' and ``and'' must be only written with ``||'' and ``&&'':

  Ocaml	Righteous
  a or b & c	a || b && c
  a || b && c	a || b && c

• No more ``begin end'' construction. One must use parentheses.
• The operators as functions are written with an backslash:

  Ocaml	Righteous
  (+)	\+
  (mod)	\mod

• The operators with special characters are not automatically infix. To define infixes, use the syntax extensions (chapter 4).
• It is possible to group together several declarations either in an interface or in an implementation by enclosing them between ``declare'' and ``end''. Example in an interface:

     declare
       type foo = [ Foo of int | Bar ];
       value f : foo -> int;
     end;
  

  This can be useful when extending the language structure or signature items with a construction generating several items.