Skip to content

RocqPage

type RocqPage =
    {
        Title: string
        Module: string option
        Description: string option
        CollapseOver: int option
    }
Assembly Nacara.Plugin.Rocq

The front matter of a generated page.

Fields

Title: string
Module: string option
Description: string option
CollapseOver: int option

The site's collapseCodeOver, from which the client restores the server's fold state.