Module CWarnings.CoreCategories
val automation : category
val bytecode_compiler : category
val coercions : category
val deprecated : category
val extraction : category
val filesystem : category
val fixpoints : category
val fragile : category
val funind : category
val implicits : category
val ltac : category
val ltac2 : category
val native_compiler : category
val numbers : category
val parsing : category
val pedantic : category
val records : category
val ssr : category
val syntax : category
val tactics : category
val vernacular : category