ation/index.html#type-t">IBase.Location.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="label">formals</span>:<span><span>(<a href="../../IR/Pvar/index.html#type-t">IR.Pvar.t</a> * <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a>)</span> list</span> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="label">actuals</span>:<span><a href="../../Absint/HilExp/index.html#type-t">Absint.HilExp.t</a> list</span> <span class="arrow">&#45;&gt;</span></span>
  <span><span cla