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