`type t``= MockSource.t```
`val compare : t ‑> t ‑> int`
`module Kind : sig ... end`
`val call_site : t ‑> InferIR.CallSite.t`
`val kind : t ‑> Kind.t`
`val make : ?⁠indexes:InferStdlib.IntSet.t ‑> Kind.t ‑> InferIR.CallSite.t ‑> t`
`val with_callsite : t ‑> InferIR.CallSite.t ‑> t`
`val pp : InferModules.TraceElem.F.formatter ‑> t ‑> unit`
`module Set : sig ... end`
`type spec``= MockSource.spec``=` `{`

`source : t;`
`index : int option;`

`}```
`val get : InferIR.CallSite.t ‑> InferIR.HilExp.t list ‑> InferIR.Tenv.t ‑> spec option`
`val get_tainted_formals : InferIR.Procdesc.t ‑> InferIR.Tenv.t ‑> (InferIR.Mangled.t * InferIR.Typ.t * t option) list`