Module `Comment.Resources`Source

Resource collection for extension handlers. Resources are collected during document generation and retrieved when building the final page.

Sourceval collected : Odoc_extension_registry.resource list Stdlib.ref

Sourceval add : Odoc_extension_registry.resource list -> unit

Sourceval take : unit -> Odoc_extension_registry.resource list

Sourceval clear : unit -> unit

Module Comment.ResourcesSource