Module MockSource.Kind

val compare : t Base__Ppx_compare_lib.compare
val equal : t Base__Ppx_compare_lib.equal
val matches : caller:t -> callee:t -> bool
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