pub fn compile(
source: &str,
ctx: &BuildContext,
) -> Result<String, CompilerError>Expand description
Compile one markdown document into a static HTML page.
Directive fences (include-symbol, witness, lean-check) resolve
through the owning crate and become raw HTML; island fences and all
other markdown render through docs-core (M1 contract unchanged).