Module `TraceTests.MockTraceElem`

type t = | Kind1 | Kind2

val compare : t -> t -> int

val matches : caller:t -> callee:t -> bool
val call_site : 'a -> Absint.CallSite.t
val kind : 'a -> 'a
val make : ?⁠indexes:'a -> 'b -> 'c -> 'b
val pp : F.formatter -> t -> unit

module Kind : sig ... end

module Set : sig ... end

val with_callsite : 'a -> 'b -> 'a
val with_indexes : 'a -> 'b -> 'a