Entry

type Entry =
    {
        Title: string
        Group: Group
        Module: string
        Href: string
        DocHtml: string
        Axioms: Assumptions option
    }


Assembly	`Nacara.Plugin.Rocq`

A theorem on the index page.

Fields

Title: string

The opening bold line of the attached comment.

Group: Group

Module: string

Href: string

DocHtml: string

The attached documentation without its title.

Axioms: Assumptions option