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