TraceTests (infer.UnitTests.TraceTests)

module MockTraceElem : sig ... end

module MockSource : sig ... end

module MockSink : sig ... end

module MockTrace : sig ... end

val trace_equal : MockTrace.t -> MockTrace.t -> bool

val source_equal : MockSource.t -> MockSource.t -> bool

val tests : OUnit2.test