∀ {pu : Lean.Compiler.LCNF.Purity} {var : Lean.FVarId} {i : Lean.Compiler.LCNF.CtorInfo} {updateHeader : Bool}
  {args : Array (Lean.Compiler.LCNF.Arg pu)}
  {h : autoParam (pu = Lean.Compiler.LCNF.Purity.impure) Lean.Compiler.LCNF.LetValue._auto_19} {var_1 : Lean.FVarId}
  {i_1 : Lean.Compiler.LCNF.CtorInfo} {updateHeader_1 : Bool} {args_1 : Array (Lean.Compiler.LCNF.Arg pu)}
  {h_1 : autoParam (pu = Lean.Compiler.LCNF.Purity.impure) Lean.Compiler.LCNF.LetValue._auto_19},
  Lean.Compiler.LCNF.LetValue.reuse var i updateHeader args h =
      Lean.Compiler.LCNF.LetValue.reuse var_1 i_1 updateHeader_1 args_1 h_1 →
    var = var_1 ∧ i = i_1 ∧ updateHeader = updateHeader_1 ∧ args = args_1