a href="Cil.html#TYPEstmt">Cil.stmt</a> -> <a href="Cil.html#TYPEstmt">Cil.stmt</a> -> bool</code></pre><div class="info">
Check whether one statement dominates another.<br>
</div>
<pre><span class="keyword">val</span> <a name="VALchildren"></a>children : <code class="type"><a href="Dominators.html#TYPEtree">tree</a> -> <a href="Cil.html#TYPEstmt">Cil.stmt</a> -> <a href="Cil.html#TYPEstmt">Cil.stmt</a> list</code></pre><div class="info">
Return a list of statements dominated by the argument<br>
</div>
<br>