∀ (resultType : Lean.Expr) (k : Lean.Expr → Lean.Elab.Do.DoElabM Lean.Expr) (resultType_1 : Lean.Expr)
  (k_1 : Lean.Expr → Lean.Elab.Do.DoElabM Lean.Expr),
  ({ resultType := resultType, k := k } = { resultType := resultType_1, k := k_1 }) =
    (resultType = resultType_1 ∧ k = k_1)