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