On Wed, Jun 10, 2026 at 04:30:24PM +0530, Ashutosh Bapat wrote:
> The term "element" comes later "label v1 of element v1". There's
> nothing in the standard called "element label". That term is an
> artifact of our implementation. I think "label v1 of element v1" reads
> better and follows the standard compared to "element label v1 of
> element v1".
[ ... checks 9075-16-2023 ... ]
The term is "element table label" when referring to a clause, and most
of the places refer to only "label", so I guess that I'm fine with
your wording here.
--
Michael
