Skip to content

Resolve

type Resolve =
    {
        Code: string -> (string * string) option
        Link: string -> string option
    }
Assembly Nacara.Plugin.Rocq

Lookups that turn names in a comment into links.

Fields

Code: string -> (string * string) option

Maps the text of an inline code span to a reference key and the URL of its page.

Link: string -> string option

Maps a relative link written as Module.html#name to the site URL of a project module.