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