: <span><a href="argument-3-Domain3/index.html#type-t">Domain3.t</a> <a href="../index.html#type-prepost">prepost</a></span>;</code></td></tr></table><code>}</code></dt></dl><dl><dt class="spec value" id="val-leq"><a href="#val-leq" class="anchor"></a><code><span class="keyword">val</span> leq : <span>lhs:<a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> <span>rhs:<a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-join"><a href="#val-