def DocGen4.Output.argToHtml (arg : Process.Arg) : HtmlM Html

Render an Arg as HTML, adding opacity effects etc. depending on what type of binder it has.

Equations

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