sig type t = { loc : Lexing.position; severe : bool; source : string; reason : string; effect : string; } val compare : Warning.SELF.t -> Warning.SELF.t -> int end