Array Lean.Compiler.LCNF.Param →
  Lean.Compiler.LCNF.FunDecl →
    Lean.Name →
      Bool →
        Option Lean.Compiler.InlineAttributeKind → Lean.Compiler.LCNF.Internalize.InternalizeM Lean.Compiler.LCNF.Decl