Module `Absint.CallSite`

module F = Stdlib.Format

type t

val compare : t -> t -> int

val equal : t -> t -> bool
val pname : t -> IR.Procname.t
val loc : t -> IBase.Location.t
val make : IR.Procname.t -> IBase.Location.t -> t
val dummy : t
val pp : F.formatter -> t -> unit

module Set : IStdlib.PrettyPrintable.PPSet with type PPSet.elt = t