Source.Kind
type t
= MockTraceElem.t
val compare : t -> t -> int
val matches : caller:t -> callee:t -> bool
val pp : Absint.TaintTraceElem.F.formatter -> t -> unit