span class="keyword">type</span> t</code><code> = Graph.Dominator.Make(<a href="../../../../Absint/ProcCfg/index.html#module-MakeOcamlGraph">Absint.ProcCfg.MakeOcamlGraph(CFG)</a>).S.t</code></dt></dl><dl><dt class="spec value" id="val-empty"><a href="#val-empty" class="anchor"></a><code><span class="keyword">val</span> empty : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-is_empty"><a href="#val-is_empty" class="anchor"></a><code><span class="keyword">val</span> is_empty : <a 