;int
&nbsp;&nbsp;val&nbsp;default_uncaught_exception_handler&nbsp;:&nbsp;exn&nbsp;-&gt;&nbsp;unit
&nbsp;&nbsp;val&nbsp;set_uncaught_exception_handler&nbsp;:&nbsp;(exn&nbsp;-&gt;&nbsp;unit)&nbsp;-&gt;&nbsp;unit
end</pre></div>