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
)
Abstract
(
Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case
)
has properties |
|
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
)
has properties |
|
Abstract
(
Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case::Polymorph
)
#23
in
concrete-syntax/core/expression/nary/branch/case/rule/class.rb
class_ident
⇐
obj
|
#28
in
concrete-syntax/core/expression/nary/branch/case/rule/class.rb
initialize
(
|
loc
,
|
class_ident
,
| |
opt_contents_pat
,
| |
opt_superclass_ident
)
|
#85
in
concrete-syntax/core/expression/nary/branch/case/rule/class.rb
desugar_for_rule
(
|
env
,
|
case_expr
)
|
#123
in
concrete-syntax/core/expression/nary/branch/case/rule/class.rb
__desugar_rules__
(
|
env
,
|
case_expr
,
| |
&fn
)
|