y.html#TYPEdoc">Pretty.doc</a>, unit) format4 -> 'a</code></pre><div class="info">
Similar to <code class="code">error</code> except that its output has the form <code class="code">Bug: ...</code><br>
</div>
<pre><span id="VALunimp"><span class="keyword">val</span> unimp</span> : <code class="type">('a, unit, <a href="Pretty.html#TYPEdoc">Pretty.doc</a>, unit) format4 -> 'a</code></pre><div class="info">
Similar to <code class="code">error</code> except that its output has the form <code class="code">Unimpl