Module type Nametab.SimpleWarnS

val object_name : string

Necessary data to declare a simple warning (UserWarn.create_depr_and_user_warnings_qf).

val warning_name_base : string