sig
  type t
  val level : Trace.level
  val eq : Infsys.LEVEL.t -> Infsys.LEVEL.t -> bool
  val diff : Infsys.LEVEL.t -> Infsys.LEVEL.t -> Infsys.LEVEL.t
  val pp : Infsys.LEVEL.t Pretty.printer
end