Module type `ExplicitTrace.Element`

include IStdlib.PrettyPrintable.PrintableOrderedType

include IStdlib.IStd.Caml.Set.OrderedType

type t

val compare : t -> t -> int

include IStdlib.PrettyPrintable.PrintableType with type t := t

type t

val pp : IStdlib.PrettyPrintable.F.formatter -> t -> unit

val describe : Stdlib.Format.formatter -> t -> unit: Pretty printer used for trace construction; pp is used for debug output.