exception
Break_while
let
rec
instruction env =
function
| While (e, i) ->
begin
try
while
bool (expression env e)
do
instruction env i
done
with
Break_while -> ()
end
| Break ->
raise
Break_while
...
and
...