Module PulseTransitiveInfo.DirectCallee

type t = {
  1. proc_name : IR.Procname.t;
  2. specialization : IR.Specialization.Pulse.t;
  3. loc : IBase.Location.t;
}
module Set : sig ... end