Go backward to A.6 Debugger Commands
Go up to A List of Core Maude Commands
Go forward to A.8 System Commands
A.7 Miscellaneous Commands
- select module .
-
Selects a named module to be the current module. All commands that require a
module refer to the current module unless a module is explicitly given. The
current module is usually the last module entered or used.
- set include module on . / set include module off .
-
Adds or removes the named module from the set of modules that are
automatically included in every module.