module Add Semantic Restriction
Add a semantic restriction to this module.
Parameters
semantic Restriction
The semantic restriction to add.
Throws
If the module is already closed.
Add a semantic restriction to this module.
The semantic restriction to add.
If the module is already closed.