Module Odoc_html.Html_shellSource
module Html := Tyxml.HtmlSource
type page_data = {url : Odoc_document.Url.Path.t;header : Html_types.flow5_without_header_footer Html.elt list;preamble : Html_types.flow5_without_header_footer Html.elt list;content : Html_types.div_content Html.elt list;toc : Odoc_html.Types.toc list;uses_katex : bool;source_anchor : string option;resources : Odoc_extension_registry.resource list;assets : Odoc_extension_registry.asset list;children : Odoc_document.Renderer.page list;
}Data for assembling a documentation page. All HTML fragments are pre-rendered by the generator.
Source
type src_page_data = {url : Odoc_document.Url.Path.t;header : Html_types.flow5_without_header_footer Html.elt list;title : string;content : Html_types.div_content Html.elt list;
}Data for assembling a source code page.
Shell Registry
Register a shell. Shells are identified by name.
Look up a shell by name.
List all registered shell names.
Return the default shell ("default"). Raises if no default is registered.