Module `CWarnings.CoreCategories`

Categories used in rocq-runtime. Might not be exhaustive.

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 rewrite_rules : category

val ssr : category

val syntax : category

val tactics : category

val user_warn : category

val vernacular : category