Module Vernacentries.DefAttributes

type t = {
scope : Locality.definition_scope;
locality : bool option;
polymorphic : bool;
program : bool;
user_warns : Globnames.extended_global_reference UserWarn.with_qf option;
canonical_instance : bool;
typing_flags : Declarations.typing_flags option;
using : Vernacexpr.section_subset_expr option;
reversible : bool;
clearbody : bool option;
}
val def_attributes : t Attributes.attribute