"spec type" id="type-instr"><a href="#type-instr" class="anchor"></a><code><span class="keyword">type</span> instr</code></dt><dd><p>type of the instructions the transfer functions operate on</p></dd></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> <a href="index.html#type-analysis_data">analysis_data</a> <span>&#45;&gt;</span> <a href="CF