e-HEYTING_ALGEBRA_F/argument-2-Error/index.html#type-t">Error.t</a>)</span> Stdlib.result</span></code></div><div class="spec module" id="module-Quasireflexive_Eq"><a href="#module-Quasireflexive_Eq" class="anchor"></a><code><span class="keyword">module</span> <a href="Quasireflexive_Eq/index.html">Quasireflexive_Eq</a> : <a href="index.html#module-type-EQ_F">EQ_F</a></code></div><div class="spec module" id="module-Quasireflexive_Ord"><a href="#module-Quasireflexive_Ord" class="anchor"></a><code><span class