sig type 'a t = 'a TraceChecker.T.Atom.t Util.Sequence.t val print : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a TraceChecker.T.Trace.t -> unit end