 href="Dominators.html"><title>CIL API Documentation (version 1.6.0) : Errormsg</title>
</head>
<body>
<div class="navbar"><a href="Pretty.html">Previous</a>
&nbsp;<a href="index.html">Up</a>
&nbsp;<a href="Clist.html">Next</a>
</div>
<center><h1>Module <a href="type_Errormsg.html">Errormsg</a></h1></center>
<br>
<pre><span class="keyword">module</span> Errormsg: <code class="code">sig</code> <a href="Errormsg.html">..</a> <code class="code">end</code></pre>Utility functions for error-reporting<br>
<hr widt