Next: Module summation and renaming
Up: Object-Oriented Modules
Previous: Parameterized object-oriented modules
Contents
Module operations on object-oriented modules
The module operations of summation, renaming, and
instantiation have been extended so that they are also available on
object-oriented modules.
Subsections
The Maude Team