Documentation

Lean.Compiler.LCNF.OtherDecl

Return the LCNF type for constructors, inductive types, and foreign functions.

Instances For