Themes
Auto
Light
Dark
Light high contrast
Dark high contrast
Layout
/
Types
/
NavTree
NavTree
A navigation tree.
NavTree =
NavNode
[]
NavNode
A single node of the navigation tree.
NavNode =
NavParentNode
|
NavLeafNode