Module `TraceDomain.Sink`

type t = MockTrace.Sink.t

val compare : t -> t -> int

module Kind : sig ... end

val call_site : t -> Absint.CallSite.t
val kind : t -> Kind.t
val make : ?⁠indexes:IStdlib.IntSet.t -> Kind.t -> Absint.CallSite.t -> t
val with_callsite : t -> Absint.CallSite.t -> t
val pp : Absint.TaintTraceElem.F.formatter -> t -> unit

module Set : sig ... end

val get : Absint.CallSite.t -> Absint.HilExp.t list -> IR.CallFlags.t -> IR.Tenv.t -> t list
val indexes : t -> IStdlib.IntSet.t
val with_indexes : t -> IStdlib.IntSet.t -> t