Skip to content

ArgumentEntry

type ArgumentEntry =
    {
        Name: string
        Text: string
    }
Assembly Nacara.Plugin.Rocq

An argument entry of a doc comment, written - [name:] text.

Fields

Name: string
Text: string

The entry's text in the comment's markup. Continuation lines are joined by a newline.