This attribute must be applied to an inline module.
It defines a Python module in the form of a module_def function in the module;
this has to be used in a add_native_module to properly register the module.
Additionally, this macro defines ‘MODULE_NAME’ and ‘DOC’ in the module.