def DocGen4.Output.classInstancesToHtml (className : Lean.Name) : HtmlM Html

Equations

• One or more equations did not get rendered due to their size.

def DocGen4.Output.classToHtml (i : Process.ClassInfo) : HtmlM (Array Html)

Equations

• DocGen4.Output.classToHtml i = DocGen4.Output.structureToHtml i