Module Kappa_generic_toolset.ExceptionDefn

exception Syntax_Error of string Locality.annot
exception Malformed_Decl of string Locality.annot
exception Internal_Error of string Locality.annot
val warning_buffer : (Locality.t option * (Format.formatter -> unit)) list Pervasives.ref