Module TraceChecker.T.Trace


module Trace: sig .. end
A trace is a finite sequence of atoms.

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