Module TraceChecker.T.Atom
module Atom:Union type for the possible basic elements composing a trace. This type defines two kinds of actions: commands or guards. The latter are useful to specify initial and final states.sig
..end
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 t -> unit