On Thu, 10 Apr 2025 at 16:57, Amit Langote <amitlangote09@gmail.com> wrote:
>
> On Thu, Apr 10, 2025 at 12:03 PM David Rowley <dgrowleyml@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