Statement attributes

In a functional module, statements are equations and membership axioms, conditional or not. Any such statement may have associated attributes. Currently four attributes are available: label, metadata, nonexec, and owise. The attributes label, metadata, and nonexec can also be used on rules in system modules. Moreover, the attribute metadata can also be associated to operator declarations.