jon.recoil.org

Module type Odoc_extension_api.Inline_ExtensionSource

Sourceval prefix : string

The inline tag prefix, e.g. "margin" handles {&margin ...}.

Sourceval to_html : string -> string

to_html payload returns the raw HTML to splice into the output. The returned string is emitted without further processing; the extension is responsible for any escaping.