pan> unit</code></dt><dt class="spec value" id="val-validate"><a href="#val-validate" class="anchor"></a><code><span class="keyword">val</span> validate : <span>(<a href="index.html#type-bound">bound</a> * <a href="index.html#type-bound">bound</a>)</span> <span>&#45;&gt;</span> <a href="index.html#type-bound">bound</a> * <a href="index.html#type-bound">bound</a></code></dt><dt class="spec value" id="val-check_bot"><a href="#val-check_bot" class="anchor"></a><code><span class="keyword">val</span> check_bot :