∀ {pu : Lean.Compiler.LCNF.Purity} {i : Lean.Compiler.LCNF.CtorInfo} {args : Array (Lean.Compiler.LCNF.Arg pu)}
  {h : autoParam (pu = Lean.Compiler.LCNF.Purity.impure) Lean.Compiler.LCNF.LetValue._auto_5}
  {i_1 : Lean.Compiler.LCNF.CtorInfo} {args_1 : Array (Lean.Compiler.LCNF.Arg pu)}
  {h_1 : autoParam (pu = Lean.Compiler.LCNF.Purity.impure) Lean.Compiler.LCNF.LetValue._auto_5},
  Lean.Compiler.LCNF.LetValue.ctor i args h = Lean.Compiler.LCNF.LetValue.ctor i_1 args_1 h_1 → i = i_1 ∧ args = args_1