Attribute Macros§
- check_
module - Check verification conditions within a module, but don’t make declared/defined items available for import into other modules.
- export_
module - This is the same as
export_module. - module
- Check verification conditions within a module, and make declared/defined items available for import into other modules.