Module Kappa_generic_toolset.ExceptionDefn
exceptionSyntax_Error of string Locality.annotexceptionMalformed_Decl of string Locality.annotexceptionInternal_Error of string Locality.annot
val warning_buffer : (Locality.t option * (Format.formatter -> unit)) list Pervasives.ref