ib.PulseDomainInterface.AccessResult.t</a></span>
    list</span>
  * <a href="../PulseNonDisjunctiveDomain/index.html#type-t">Pulselib.PulseDomainInterface.NonDisjDomain.t</a>
  * <span><a href="../PulseInterproc/index.html#type-contradiction">PulseInterproc.contradiction</a> option</span>
  * <span>[ `KnownCall <span>| `UnknownCall</span> ]</span></span></code></div><div class="spec-doc"><p>perform an interprocedural call: apply the summary for the call proc name passed as argument if it exists</p></div><