is a submodule of |
| ||||||||||||||||||||
is modularized into |
| ||||||||||||||||||||
has modular siblings |
| ||||||||||||||||||||
is defined at |
|
<Toplevel Module>
Object
(
Builtin-Module
)
Model
(
Umu::Abstraction
)
Abstract
(
Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Abstraction
)
Abstract
(
Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case
)
Atom
(
Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case
)
Datum
(
Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case
)
Class
(
Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case
)
Abstract
(
Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case::Polymorph
)