package rocq-runtime

  1. Overview
  2. Docs

Module type Nametab.SimpleWarnSSource

Sourceval object_name : string

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

Sourceval warning_name_base : string