r"></a><code><span class="keyword">val</span> __unwrap_exception : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-abort"><a href="#val-abort" class="anchor"></a><code><span class="keyword">val</span> abort : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-exit"><a href="#val-exit" class="anchor"></a><code><span class="keyword">val</span> exit : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-free"><a href="#val-free" class=