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