def DocGen4.Output.classInductiveToHtml (i : Process.ClassInductiveInfo) : HtmlM (Array Html)

Equations

• DocGen4.Output.classInductiveToHtml i = DocGen4.Output.inductiveToHtml i