Skip to content

RefItem

type RefItem =
    {
        Name: string
        Key: string
        Href: string option
    }
Assembly Nacara.Plugin.Rocq

An entry in a declaration's reference lists.

Fields

Name: string
Key: string

A data-ref key, as in Source.Ref. d and an index keys a declaration with no symbol, and f and an index a file.

Href: string option