"arrow">&#45;&gt;</span></span>
  <span><a href="../PulsePathContext/index.html#type-t">Pulselib.PulseDomainInterface.PathContext.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span>caller_proc_desc:<a href="../../IR/Procdesc/index.html#type-t">IR.Procdesc.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span>analyze_dependency:
    <span>(<span>?specialization:<a href="../../IR/Specialization/index.html#type-t">IR.Specialization.t</a> <span class="arrow">&#45;&gt;</span></span>
      <span><a hre