-
Notifications
You must be signed in to change notification settings - Fork 12
Check PragmaDoesNotIncludeModuleNameInTopics
github-actions[bot] edited this page Nov 10, 2025
·
2 revisions
pragma-does-not-include-module-name-in-topics - Pragma does not contain the module name in the topics
Given the next module.def:
example_module 1
description
Example module
end
_pragma(classify_level=basic, topic={something_else})
def_slotted_exemplar(:example, {})
$
_pragma(classify_level=basic, topic={something_else, example_module})
def_slotted_exemplar(:example, {})
$
Note
This page is generated. Any changes made to this page through the wiki will be lost in the future.