a> list</span></span> <span>&#45;&gt;</span> <span>ret_id_typ:<a href="../../Absint/AccessPath/index.html#type-base">Absint.AccessPath.base</a></span> <span>&#45;&gt;</span> <span>caller_pname:<a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a></span> <span>&#45;&gt;</span> <span>callee_pname:<a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a></span> <span>&#45;&gt;</span> <span>caller:<a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> <span>callee:<a href="Mem/index.htm