s="anchor"></a><code><span><span class="keyword">type</span> elt</span><span> = <a href="../argument-1-A/index.html#type-elt">A.elt</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-number"><a href="#val-number" class="anchor"></a><code><span><span class="keyword">val</span> number : <a href="../../../Owl_types_common/index.html#type-number">Owl_types_common.number</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-empty"><