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