 class="constructor">T</span></code><code class="code">&nbsp;:&nbsp;</code><code class="type"><a href="Identifiable.Thing.html">Thing</a></code><code class="code">)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;</code><code class="type"><a href="Identifiable.S.html">S</a></code><code class="type">  with type t := T.t</code></div></pre>
<div class="copyright">The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained 