></a><code><span><span class="keyword">val</span> exec_cfg : 
  <span><span class="optlabel">?do_narrowing</span>:bool <span class="arrow">&#45;&gt;</span></span>
  <span><a href="argument-1-TransferFunctions/CFG/index.html#type-t">TransferFunctions.CFG.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="argument-1-TransferFunctions/index.html#type-analysis_data">TransferFunctions.analysis_data</a> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="label">initial</span>:<a href=