|
|
|---|
|
|
|
|---|
A module context within a moddb.
This is a tagged union type, introduced by deftagsum.
A :top modscope describes the top level of hierarchy within a moddb, giving its module index. :Nested modscopes describe nested scopes within it, i.e. a descent down the hierarchy through module instantiation. These each give the index of the nested module and the wire and instance offsets.