Module type Odoc_extension_api.Extension_with_linkSource
Extensions that also need link-time access to the cross-reference environment implement this extended signature.
include Odoc_extension_api.Extension
The tag prefix this extension handles. E.g., "note" handles @note, "admonition" handles @admonition.note
Source
val to_document :
tag:string ->
Comment.nestable_block_element Location_.with_location list ->
Odoc_extension_api.extension_outputDocument phase: convert tag to renderable content. Called during document generation. Returns content plus any page-level resources needed (JS/CSS).
Source
val link :
tag:string ->
Env.t ->
Comment.nestable_block_element Location_.with_location list ->
Comment.nestable_block_element Location_.with_location listLink phase: transform tag content with access to the cross-reference environment. Called during linking, after references have been resolved. Use Env.lookup_page_by_name etc. to look up other pages.