| is a submodule of |
| ||||||||||||||||||||
| has modular siblings |
| ||||||||||||||||||||
| inherits from |
| ||||||||||||||||||||
| is inherited by |
| ||||||||||||||||||||
| has class siblings | |||||||||||||||||||||
| has properties |
| ||||||||||||||||||||
| is defined at |
|
<Toplevel Module>
Umu
ConcreteSyntax
Core
Declaration
Object
(
Builtin-Module
)
Model
(
Umu::Abstraction
)
| has properties |
|
Abstract
(
Umu::ConcreteSyntax
)
| has properties |
|
Abstract
(
Umu::ConcreteSyntax::Core::Declaration
)
| has properties |
|
Assert
(
Umu::ConcreteSyntax::Core::Declaration
)
Value
(
Umu::ConcreteSyntax::Core::Declaration
)
Abstract
(
Umu::ConcreteSyntax::Core::Declaration::Function
)
| has properties |
|
Recursive
(
Umu::ConcreteSyntax::Core::Declaration
)
SeqOfDeclaration
(
Umu::ConcreteSyntax::Core::Declaration
)