∀ (returnCont : Lean.Elab.Do.DoElemCont) (breakCont continueCont : Option (Lean.Elab.Do.DoElabM Lean.Expr))
  (returnCont_1 : Lean.Elab.Do.DoElemCont) (breakCont_1 continueCont_1 : Option (Lean.Elab.Do.DoElabM Lean.Expr)),
  ({ returnCont := returnCont, breakCont := breakCont, continueCont := continueCont } =
      { returnCont := returnCont_1, breakCont := breakCont_1, continueCont := continueCont_1 }) =
    (returnCont = returnCont_1 ∧ breakCont = breakCont_1 ∧ continueCont = continueCont_1)