ss="label">ret_id_typ</span>:<a href="../../Absint/AccessPath/index.html#type-base">Absint.AccessPath.base</a> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="label">caller_pname</span>:<a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="label">callee_pname</span>:<a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="label">caller</span>:<a 