-> 'a</code></pre><div class="info">
Do not actually print (i.e. print to /dev/null)<br>
</div>
<pre><span id="VALpushContext"><span class="keyword">val</span> pushContext</span> : <code class="type">(unit -> <a href="Pretty.html#TYPEdoc">Pretty.doc</a>) -> unit</code></pre><div class="info">
Registers a context printing function<br>
</div>
<pre><span id="VALpopContext"><span class="keyword">val</span> popContext</span> : <code class="type">unit -> unit</code></pre><div class="info">
Removes the last regist