e="Util" rel="Chapter" href="Util.html"><title>Coq_decidable_equality</title>
</head>
<body>
<div class="navbar"><a href="Backend_common.html">Previous</a>
&nbsp;<a href="index.html">Up</a>
&nbsp;<a href="Def_trans.html">Next</a>
</div>
<center><h1>Module <a href="type_Coq_decidable_equality.html">Coq_decidable_equality</a></h1></center>
<br>
<pre><span class="keyword">module</span> Coq_decidable_equality: <code class="code">sig</code> <a href="Coq_decidable_equality.html">..</a> <code class="code">end</cod