.html#type-test">T.test</a></code></dt><dt class="spec type" id="type-arbitrary"><a href="#type-arbitrary" class="anchor"></a><code><span class="keyword">type</span> <span>'a arbitrary</span></code></dt></dl><dl><dt class="spec value" id="val-arbitrary_int"><a href="#val-arbitrary_int" class="anchor"></a><code><span class="keyword">val</span> arbitrary_int : <span>int <a href="index.html#type-arbitrary">arbitrary</a></span></code></dt><dt class="spec value" id="val-property"><a href="#val-property" class="a