4
The Core Maude
upModule
function takes as second argument a Boolean value (see Section
11.4.1
).