an> d_loc</span> : <code class="type">unit -> <a href="Errormsg.html#TYPElocation">location</a> -> <a href="Pretty.html#TYPEdoc">Pretty.doc</a></code></pre><pre><span id="VALd_hloc"><span class="keyword">val</span> d_hloc</span> : <code class="type">unit -> <a href="Errormsg.html#TYPElocation">location</a> -> <a href="Pretty.html#TYPEdoc">Pretty.doc</a></code></pre><pre><span id="VALgetLocation"><span class="keyword">val</span> getLocation</span> : <code class="type">unit -> <a href="Errormsg.html#TYPElocat