is a submodule of |
| ||||||||||||||||||||||||
has modular siblings |
| ||||||||||||||||||||||||
inherits from |
| ||||||||||||||||||||||||
has class siblings |
| ||||||||||||||||||||||||
has properties |
| ||||||||||||||||||||||||
is defined at |
|
<Toplevel Module>
Umu
AbstractSyntax
Core
Declaration
Abstract
Simple
class: |
Abstract
|
MutualRecursive
Import
SeqOfDeclaration
Object
(
Builtin-Module
)
Model
(
Umu::Abstraction
)
has properties |
|
Abstract
(
Umu::AbstractSyntax
)
has properties |
|
Abstract
(
Umu::AbstractSyntax::Core::Declaration
)
has properties |
|
Abstract
(
Umu::AbstractSyntax::Core::Declaration::Simple
)
MutualRecursive
(
Umu::AbstractSyntax::Core::Declaration
)
has properties |
|
Import
(
Umu::AbstractSyntax::Core::Declaration
)
SeqOfDeclaration
(
Umu::AbstractSyntax::Core::Declaration
)
#57
in
abstract-syntax/core/declaration/mutual-recursive.rb
__pretty_print_binding__
(
|
q
,
|
sym
,
| |
target
)
|