odoc.document
Comment.Resources
Resource collection for extension handlers. Resources are collected during document generation and retrieved when building the final page.
odoc
odoc.examples
odoc.extension_api
odoc.extension_registry
odoc.html
odoc.html_support_files
odoc.index
odoc.json_index
odoc.latex
odoc.loader
odoc.manpage
odoc.markdown
odoc.model
odoc.model_desc
odoc.ocamlary
odoc.occurrences
odoc.odoc
odoc.odoc_utils
odoc.search
odoc.search_html_frontend
odoc.syntax_highlighter
odoc.xref2
odoc.xref_test
val collected : Odoc_extension_registry.resource list ref
val add : Odoc_extension_registry.resource list -> unit
val take : unit -> Odoc_extension_registry.resource list
val clear : unit -> unit