Skip to content

RefLists

type RefLists =
    {
        Uses: RefItem array
        UsedBy: RefItem array
    }
Assembly Nacara.Plugin.Rocq

The cross-references of a declaration. Each name appears once, and the declaration itself is absent.

Fields

Uses: RefItem array
UsedBy: RefItem array