def
Lean.Compiler.LCNF.getOtherDeclType
(declName : Lake.Name)
(us : optParam (List Lean.Level) [])
:
Return the LCNF type for constructors, inductive types, and foreign functions.
Lean.Compiler.LCNF.OtherDecl
Return the LCNF type for constructors, inductive types, and foreign functions.