Module components

Source

ModulesΒ§

counters
documents
inputref πŸ”’
navigation πŸ”’
omdocomdoc
paragraphs πŸ”’
problem
proofs πŸ”’
sections πŸ”’
terms πŸ”’
toc πŸ”’

StructsΒ§

FTMLComponentsProps
Props for the FTMLComponents component.
Gotto
A section that has been β€œcovered” at the specified timestamp; will be marked accordingly in the TOC.
LOs
TocProps
Props for the Toc component.

EnumsΒ§

TOCElem
An entry in a table of contents. Either:
TOCSource

TraitsΒ§

IntoLOs πŸ”’
TOCIter

FunctionsΒ§

FTMLComponents
Required Props
IfInputref
Required Props
InputRef
Required Props
Toc
Required Props
do_components πŸ”’
do_toc