e></pre><hr width="100%">
<pre><span id="VALgenerate_coq_decidable_equality"><span class="keyword">val</span> generate_coq_decidable_equality</span> : <code class="type">'a list -> <a href="Typed_ast.html#TYPEname_l">Typed_ast.name_l</a> -> <a href="Typed_ast.html#TYPEtexp">Typed_ast.texp</a> -> <a href="Output.html#TYPEt">Output.t</a></code></pre></body></html>