Admonition_extensionSourceAdmonition extension for odoc.
Provides styled callout blocks for documentation:
@admonition or @admonition.note - Informational notes@admonition.warning - Warning messages@admonition.tip - Helpful tips@admonition.important - Important informationCSS styles for admonitions - registered as a support file
Map tag variants to admonition types
val content_to_blocks :
Odoc_document.Comment.Comment.nestable_block_element
Odoc_document.Comment.Comment.with_location
list ->
Odoc_document.Types.Block.tConvert comment content to Block.t, preserving references and formatting
val to_document :
tag:string ->
Odoc_document.Comment.Comment.nestable_block_element
Odoc_document.Comment.Comment.with_location
list ->
Odoc_extension_api.extension_outputDocument phase - wrap content in styled admonition block