ror description</p></dd></dl><dl><dt class="spec value" id="val-error_desc_get_dotty"><a href="#val-error_desc_get_dotty" class="anchor"></a><code><span class="keyword">val</span> error_desc_get_dotty : <a href="index.html#type-error_desc">error_desc</a> <span>&#45;&gt;</span> <span>string option</span></code></dt></dl><aside><p>Description functions for error messages</p></aside><dl><dt class="spec type" id="type-deref_str"><a href="#type-deref_str" class="anchor"></a><code><span class="keyword">type</span