definitionModule

abstract fun definitionModule(): A_Module

Answer the module in which this semantic restriction was defined.

Also defined in A_Definition.

Return

The method to which this semantic restriction applies.