1
By default, any Maude module imports the predefined
BOOL
module (see Section
7.1
).