`include MockTraceElem`
`type t````=`

`|` `Kind1`
`|` `Kind2`

``
`val compare : t ‑> t ‑> int`
`val matches : caller:t ‑> callee:t ‑> bool`
`val call_site : 'a ‑> InferIR.CallSite.t`
`val kind : 'a ‑> 'a`
`val make : ?⁠indexes:'a ‑> 'b ‑> 'c ‑> 'b`
`val pp : F.formatter ‑> t ‑> unit`
`module Kind = MockTraceElem.Kind`
`module Set = MockTraceElem.Set`
`val with_callsite : 'a ‑> 'b ‑> 'a`
`val get : 'a ‑> 'b`
`val indexes : 'a ‑> InferStdlib.IntSet.t`
`val equal : t ‑> t ‑> bool`