Module type `TaintTraceElem.S`

type t

val compare : t -> t -> int

module Kind : 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 : F.formatter -> t -> unit

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