sig
  type 'a t =
      [ `Command of A.Command.t
      | `Guard of A.Region.t
      | `State of 'a * A.Region.t ]
  val print :
    (Format.formatter -> '-> unit) ->
    Format.formatter -> 'TraceChecker.T.Atom.t -> unit
end