TaintTraceElem (infer.Absint.SinkTrace.MakeSink.TaintTraceElem)

type t

include Ppx_compare_lib.Comparable.S with type t := t

val compare : t Base__Ppx_compare_lib.compare

include Ppx_compare_lib.Equal.S with type t := t

val equal : t Base__Ppx_compare_lib.equal

module Kind : TaintTraceElem.Kind

val call_site : t -> CallSite.t

val kind : t -> Kind.t

val make : ?indexes:IStdlib.IntSet.t -> Kind.t -> CallSite.t -> t

val with_callsite : t -> CallSite.t -> t

val pp : Absint.TaintTraceElem.F.formatter -> t -> unit

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