Module LithoDomain.MethodCallPrefix

Called procedure & location

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