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
)
Unmatch
(
Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case::Polymorph
)
has properties |
|
Abstract
(
Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case
)
#561
in
concrete-syntax/core/expression/nary/branch/case/rule/polymoph.rb
desugar_poly_rule
(
|
_env
)
|