exception MyException
exception AnException of int*int
raise MyException
e1 handle ex => e2
e1 handle ex(x,y) => e2
(* More generally *)
e1 handle p => e2
The type of an exception is exn.
p is a pattern. handle can have branches to match different types of exceptions.