MockSource.Kind
type t = MockTraceElem.t
val compare : t Base__Ppx_compare_lib.compare
val equal : t Base__Ppx_compare_lib.equal
val pp : Absint__TaintTraceElem.F.formatter -> t -> unit
val get :
caller_pname:IR.Procname.t ->
IR.Procname.t ->
Absint.HilExp.t list ->
IR.Tenv.t ->
(t * int option) list
val get_tainted_formals :
IR.Procdesc.t ->
IR.Tenv.t ->
(IR.Mangled.t * IR.Typ.t * t option) list