∀ {red : Lean.Meta.TransparencyMode} {evalAtom : Lean.Expr → Lean.MetaM Lean.Meta.Simp.Result}
  {red_1 : Lean.Meta.TransparencyMode} {evalAtom_1 : Lean.Expr → Lean.MetaM Lean.Meta.Simp.Result},
  { red := red, evalAtom := evalAtom } = { red := red_1, evalAtom := evalAtom_1 } → red = red_1 ∧ evalAtom = evalAtom_1