Sink (infer.UnitTests.TaintTests.MockTaintAnalysis.TraceDomain.Sink)

type t = MockTrace.Sink.t

val compare : t Base__Ppx_compare_lib.compare

val equal : t Base__Ppx_compare_lib.equal

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