∀ (name : Lean.Name) (params : Array (Lean.Elab.Term.Do.Var × Bool)) (body : Lean.Elab.Term.Do.Code)
  (name_1 : Lean.Name) (params_1 : Array (Lean.Elab.Term.Do.Var × Bool)) (body_1 : Lean.Elab.Term.Do.Code),
  ({ name := name, params := params, body := body } = { name := name_1, params := params_1, body := body_1 }) =
    (name = name_1 ∧ params = params_1 ∧ body = body_1)