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