{pu : Lean.Compiler.LCNF.Purity} →
  Lean.Compiler.LCNF.FunDecl pu →
    Lean.Compiler.LCNF.Code pu →
      autoParam (pu = Lean.Compiler.LCNF.Purity.pure) Lean.Compiler.LCNF.Alt._auto_5 → Lean.Compiler.LCNF.Code pu