Prev Up Next
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.

Prev Up Next