Module LithoDomain.MethodCallPrefix

Called procedure & location

type t = private {
  1. prefix : string;
  2. procname : IR.Procname.t;
  3. location : IBase.Location.t;
}
val make_with_prefixes : IR.Procname.t -> IBase.Location.t -> t list