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


Reply via email to