<span class="keyword">val</span> minus_one_zero : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-minus_one_one"><a href="#val-minus_one_one" class="anchor"></a><code><span class="keyword">val</span> minus_one_one : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-positive"><a href="#val-positive" class="anchor"></a><code><span class="keyword">val</span> positive : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-negative"><a 