e-analysis_data" class="anchor"></a><code><span class="keyword">type</span> analysis_data</code><code> = <a href="../../../../../../Absint__LowerHil/Make/index.html#type-analysis_data">Absint__LowerHil.Make(TransferFunctions(Absint.ProcCfg.Exceptional))(HilConfig).analysis_data</a></code></dt></dl><dl><dt class="spec value" id="val-exec_instr"><a href="#val-exec_instr" class="anchor"></a><code><span class="keyword">val</span> exec_instr : <a href="Domain/index.html#type-t">Domain.t</a> <span>&#45;&gt;</span