∀ {ctx : Lean.Meta.Simp.Context} {simp : Lean.Meta.Simp.Result → Lean.MetaM Lean.Meta.Simp.Result}
  {ctx_1 : Lean.Meta.Simp.Context} {simp_1 : Lean.Meta.Simp.Result → Lean.MetaM Lean.Meta.Simp.Result},
  { ctx := ctx, simp := simp } = { ctx := ctx_1, simp := simp_1 } → ctx = ctx_1 ∧ simp = simp_1