is a submodule of |
| ||||||||||||||||
has modular siblings |
| ||||||||||||||||
inherits from |
| ||||||||||||||||
has class siblings |
| ||||||||||||||||
has properties |
| ||||||||||||||||
is defined at |
|
<Toplevel Module>
Object
(
Builtin-Module
)
Model
(
Umu::Abstraction
)
has properties |
|
Abstract
(
Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Abstraction
)
has properties |
|
HasHead
(
Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Abstraction
)
Otherwise
(
Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case::Polymorph
)
has properties |
|
Unmatch
(
Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case::Polymorph
)
Abstract
(
Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case
)