ss="anchor"></a><code><span>| </span><span><span class="constructor">SVal</span> <span class="keyword">of</span> <a href="../../../../Ident/index.html#type-t">Ident.t</a> * <a href="#type-expr">expr</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-empty_program"><a href="#val-empty_program" class="anchor"></a><code><span><span class="keyword">val</span> empty_program : <a href="#type-program">program</a></span></code></div></div><div class="odoc-spec"><d