is a submodule of |
| ||||||||||||||||
has modular siblings |
| ||||||||||||||||
inherits from |
| ||||||||||||||||
has properties |
| ||||||||||||||||
is defined at |
|
<Toplevel Module>
Object
(
Builtin-Module
)
Abstract
(
TmStd::Lsm
)
Abstract
(
TmStd::Lsm::Product
)
Abstract
(
TmStd::Lsm::Collection
)
includes |
| ||||||||||||||||||||
has properties |
|
Abstract
(
TmStd::Lsm::Collection::Set
)
has properties |
|
SetOfGenericSubject
(
TmDoc::Model::Abstraction::Subject
)
has properties |
|
SetOfLogicalSubject
(
TmDoc::Model::Abstraction::Subject
)
has properties |
|
SetOfSubject
(
TmDoc::Model::Object::Logical::Abstraction
)
has properties |
|
SetOfProperty
(
TmDoc::Model::Object::Logical::Abstraction
)
has properties |
|
SetOfConstant
(
TmDoc::Model::Object::Logical::Leaf
)
has properties |
|