href="#type-check" class="anchor"></a><code><span class="keyword">type</span> <span>'a check</span></code></dt></dl><dl><dt class="spec value" id="val-int"><a href="#val-int" class="anchor"></a><code><span class="keyword">val</span> int : <span>int <a href="index.html#type-check">check</a></span></code></dt><dt class="spec value" id="val-bool"><a href="#val-bool" class="anchor"></a><code><span class="keyword">val</span> bool : <span>bool <a href="index.html#type-check">check</a></span></code></dt><dt class=