is a submodule of |
| ||||||||||||||||
is modularized into |
| ||||||||||||||||
has modular siblings |
| ||||||||||||||||
has properties |
| ||||||||||||||||
is defined at |
|
<Toplevel Module>
TmDoc
Model
Core
Logical
Path
class: |
AbsolutePath
| |||||
class: |
SetOfPath
| |||||
class: |
RelativePath
|
Abstraction
Leaf
Node
Record