PulseTransitiveInfo.Callees
for each call site, we remember which resolution was performed
include Absint.AbstractDomain.WithBottom
include Absint.AbstractDomain.S
val bottom : t
The bottom value of the domain.
val is_bottom : t -> bool
Return true if this is the bottom value
val pp : Stdlib.Format.formatter -> t -> unit
val record :
caller:IR.Procdesc.t ->
IBase.Location.t ->
call_kind ->
resolution ->
t ->
t
val to_jsonbug_transitive_callees :
t ->
ATDGenerated.Jsonbug_t.transitive_callee list