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.