- var mmodules: Array[MModule] = new Array[MModule]
-
- # placebo for old module nesting hierarchy.
- # where mainmodule < mainmodule::nestedmodule
- #
- # TODO REMOVE, rely on mgroup instead
- var mmodule_nesting_hierarchy: POSet[MModule] = new POSet[MModule]