></span>
  <span>actuals:
    <span><span>(<span>(<a href="../PulseAbstractValue/index.html#type-t">Pulselib.PulseBasicInterface.AbstractValue.t</a>
      * <a href="../PulseValueHistory/index.html#type-t">Pulselib.PulseBasicInterface.ValueHistory.t</a>)</span>
     * <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a>)</span>
      list</span> <span class="arrow">&#45;&gt;</span></span>
  <span>formals_opt:<span><span><span>(<a href="../../IR/Pvar/index.html#type-t">IR.Pvar.t</a> * <a href="../../IR/Typ/