else
'' is required in the ``if
'' instruction:
Ocaml | Revised |
---|---|
if a then b | if a then b else () |
||
'' and ``&&
'':
Ocaml | Revised |
---|---|
a or b & c | a || b && c |
a || b && c | a || b && c |
begin end
'' construction. One must use
parentheses.Ocaml | Revised |
---|---|
(+) | \+ |
(mod) | \mod |
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.