Module Admonition_extensionSource

Admonition extension for odoc.

Provides styled callout blocks for documentation:

Sourceval prefix : string
Sourceval admonition_css : string

CSS styles for admonitions - registered as a support file

Sourcetype admonition_type =
  1. | Note
  2. | Warning
  3. | Tip
  4. | Important

Map tag variants to admonition types

Sourceval parse_type : string -> admonition_type
Sourceval type_to_class : admonition_type -> string
Sourceval type_to_label : admonition_type -> string

Convert comment content to Block.t, preserving references and formatting

Document phase - wrap content in styled admonition block