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