Module TraceChecker.T.Atom


module Atom: sig .. end
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.

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