Module Mir.Error

type descr = error_descr = {
kind : string Pos.marked;
major_code : string Pos.marked;
minor_code : string Pos.marked;
description : string Pos.marked;
isisf : string Pos.marked;
}
type t = error = {
name : string Pos.marked;(*

The position is the variable declaration

*)
id : int;(*

Each variable has an unique ID

*)
descr : error_descr;(*

Description taken from the variable declaration

*)
typ : Mast.error_typ;
}
val new_error : string Pos.marked -> Mast.error_ -> Mast.error_typ -> error
val err_descr_string : t -> string Pos.marked
val compare : t -> t -> int