a></code></dt><dt class="spec value" id="val-openc"><a href="#val-openc" class="anchor"></a><code><span class="keyword">val</span> openc : unit <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-num"><a href="#val-num" class="anchor"></a><code><span class="keyword">val</span> num : unit <span>&#45;&gt;</span> int</code></dt><dt class="spec value" id="val-closec"><a href="#val-closec" class="anchor"></a><code><span class="keyword">val</span> closec : unit <span>&#45;&gt;</span> unit</code>