| //- _FileNode.node/kind file | |
| //- @top defines/binding TopModule | |
| //- TopModule.node/kind record | |
| //- TopModule.subkind module | |
| //- TopModule.complete definition | |
| module top; | |
| endmodule | |
| //- @top_top defines/binding TopTopModule | |
| //- TopTopModule.node/kind record | |
| //- TopTopModule.subkind module | |
| //- TopTopModule.complete definition | |
| module top_top; | |
| //- @#0top ref TopModule | |
| //- @top_instance defines/binding TopInstanceDef | |
| //- TopInstanceDef.node/kind variable | |
| //- TopInstanceDef.complete definition | |
| //- TopInstanceDef childof TopTopModule | |
| top top_instance (); | |
| endmodule |