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