# Documentation

Lean.Compiler.LCNF.Util

Return true if mdata should be preserved. Right now, we don't preserve any MData, but this may change in the future when we add support for debugging information

Equations

Return true if e is a lcCast application.

Equations

Store information about casesOn declarations.

We treat them uniformly in the code generator.

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

List of types that have builtin runtime support

Equations

Return true iff declName is the name of a type with builtin support in the runtime.

Equations