def Lean.Compiler.LCNF.getOtherDeclType (declName : Lake.Name) (us : optParam (List Lean.Level) []) : Lean.Compiler.LCNF.CompilerM Lean.Expr

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

Equations

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