∀ {σ : Type} (ref : Lean.Syntax) (vars : Array Lean.Elab.Term.Do.Var) (patterns : Lean.Syntax) (rhs : σ)
  (ref_1 : Lean.Syntax) (vars_1 : Array Lean.Elab.Term.Do.Var) (patterns_1 : Lean.Syntax) (rhs_1 : σ),
  ({ ref := ref, vars := vars, patterns := patterns, rhs := rhs } =
      { ref := ref_1, vars := vars_1, patterns := patterns_1, rhs := rhs_1 }) =
    (ref = ref_1 ∧ vars = vars_1 ∧ patterns = patterns_1 ∧ rhs = rhs_1)