∀ {pu : Lean.Compiler.LCNF.Purity} (fvarId : Lean.FVarId) (n : ℕ) (check persistent : Bool)
  (h : autoParam (pu = Lean.Compiler.LCNF.Purity.impure) Lean.Compiler.LCNF.CodeDecl._auto_9) (fvarId_1 : Lean.FVarId)
  (n_1 : ℕ) (check_1 persistent_1 : Bool)
  (h_1 : autoParam (pu = Lean.Compiler.LCNF.Purity.impure) Lean.Compiler.LCNF.CodeDecl._auto_9),
  (Lean.Compiler.LCNF.CodeDecl.dec fvarId n check persistent h =
      Lean.Compiler.LCNF.CodeDecl.dec fvarId_1 n_1 check_1 persistent_1 h_1) =
    (fvarId = fvarId_1 ∧ n = n_1 ∧ check = check_1 ∧ persistent = persistent_1)