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