94
95
96
97 (** interrupts **)
98
99 exception Interrupt;
100
99 local
101 local
102
101 datatype 'a result =
103 datatype 'a result =
102 Result of 'a |
104 Result of 'a |
103 Exn of exn;
105 Exn of exn;