On Thu, 10 Apr 2025 at 16:57, Amit Langote <amitlangot...@gmail.com> wrote: > > On Thu, Apr 10, 2025 at 12:03 PM David Rowley <dgrowle...@gmail.com> wrote: > > -Most operations on EquivalenceClasses should ignore child members. > > +Most operations on EquivalenceClasses needn't look at child members. > > > > Would that be ok? > > Yeah, I think that wording works well. It avoids sounding too strict > but still points things in the right direction.
Thanks. Pushed. David