ArgumentRow

type ArgumentRow =
    {
        Name: string
        Binders: string array
        TypeHtml: string option
        TextHtml: string
    }


Assembly	`Nacara.Plugin.Rocq`

A row of a declaration's Arguments list.

Fields

Name: string

Binders: string array

The reference keys of the statement's binders with this name. Empty for a stale entry.

TypeHtml: string option

The binder's type as HTML, written with its references when the source has one.

TextHtml: string