/span></span> <a href="../DisjunctiveMetadata/index.html#type-t">DisjunctiveMetadata.t</a></span></code></div><div class="spec-doc"><p>return CFG-wide metadata about the analysis</p></div></div></div></body></html>
