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

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