| is a submodule of |
| ||||||||||||
| has modular siblings |
| ||||||||||||
| inherits from |
| ||||||||||||
| is inherited by |
| ||||||||||||
| has class siblings |
| ||||||||||||
| has properties |
| ||||||||||||
| is defined at |
|
<Toplevel Module>
Umu
AbstractSyntax
Core
Declaration
Abstract
Simple
MutualRecursive
Import
SeqOfDeclaration
Object
(
Builtin-Module
)
Model
(
Umu::Abstraction
)
| has properties |
|
Abstract
(
Umu::AbstractSyntax
)
| has properties |
|
Abstract
(
Umu::AbstractSyntax::Core::Declaration
)
| has properties |
|
Abstract
(
Umu::AbstractSyntax::Core::Declaration::Simple
)
| has properties |
|
MutualRecursive
(
Umu::AbstractSyntax::Core::Declaration
)
Import
(
Umu::AbstractSyntax::Core::Declaration
)
SeqOfDeclaration
(
Umu::AbstractSyntax::Core::Declaration
)