- <span class="type-var">'c</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-used_blocks"><a href="#val-used_blocks" class="anchor"></a><code><span><span class="keyword">val</span> used_blocks : <span><a href="#type-program">program</a> <span class="arrow">-></span></span> <a href="../Stdlib/BitSet/index.html#type-t">Stdlib.BitSet.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-prepend"><a href="#val-prepend" class="anchor"></a><code><span><span class="keyword">val</span> prepend : <span><a href="#type-program">program</a> <span class="arrow">-></span></span> <span><span><a href="#type-instr">instr</a> list</span> <span class="arrow">-></span></span> <a href="#type-program">program</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-empty"><a href="#val-empty" class="anchor"></a><code><span><span class="keyword">val</span> empty : <a href="#type-program">program</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_empty"><a href="#val-is_empty" class="anchor"></a><code><span><span class="keyword">val</span> is_empty : <span><a href="#type-program">program</a> <span class="arrow">-></span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span><span class="keyword">val</span> equal : <span><a href="#type-program">program</a> <span class="arrow">-></span></span> <span><a href="#type-program">program</a> <span class="arrow">-></span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-print_diff"><a href="#val-print_diff" class="anchor"></a><code><span><span class="keyword">val</span> print_diff : <span><a href="#type-program">program</a> <span class="arrow">-></span></span> <span><a href="#type-program">program</a> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-check_updates"><a href="#val-check_updates" class="anchor"></a><code><span><span class="keyword">val</span> check_updates : <span><span class="label">name</span>:string <span class="arrow">-></span></span> <span><a href="#type-program">program</a> <span class="arrow">-></span></span> <span><a href="#type-program">program</a> <span class="arrow">-></span></span> <span><span class="label">updates</span>:int <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-invariant"><a href="#val-invariant" class="anchor"></a><code><span><span class="keyword">val</span> invariant : <span><a href="#type-program">program</a> <span class="arrow">-></span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cont_equal"><a href="#val-cont_equal" class="anchor"></a><code><span><span class="keyword">val</span> cont_equal : <span><a href="#type-cont">cont</a> <span class="arrow">-></span></span> <span><a href="#type-cont">cont</a> <span class="arrow">-></span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cont_compare"><a href="#val-cont_compare" class="anchor"></a><code><span><span class="keyword">val</span> cont_compare : <span><a href="#type-cont">cont</a> <span class="arrow">-></span></span> <span><a href="#type-cont">cont</a> <span class="arrow">-></span></span> int</span></code></div></div></div></body></html> |
0 commit comments