type RefLists = { Uses: RefItem array UsedBy: RefItem array }
Nacara.Plugin.Rocq
The cross-references of a declaration. Each name appears once, and the declaration itself is absent.
Uses: RefItem array
UsedBy: RefItem array
On this page