fer</a> &#x00BB; <a href="../index.html">Datalog</a> &#x00BB; Factgen</nav><header class="odoc-preamble"><h1>Module <code><span>Datalog.Factgen</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value" id="val-emit_facts" class="anchored"><a href="#val-emit_facts" class="anchor"></a><code><span><span class="keyword">val</span> emit_facts : <span><a href="../../Absint/IntraproceduralAnalysis/index.html#type-t">Absint.IntraproceduralAnalysis.t</a> <span class="arrow">