bsp;<span class="constructor">Inconsistency</span>&nbsp;<span class="keyword">of</span>&nbsp;string&nbsp;*&nbsp;string&nbsp;*&nbsp;string
&nbsp;&nbsp;<span class="keyword">exception</span>&nbsp;<span class="constructor">Not_available</span>&nbsp;<span class="keyword">of</span>&nbsp;string
<span class="keyword">end</span></code><div class="copyright">The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from <a href