Integrated: 8340983: Use index and definition tags in Object and Double

[Joe Darcy]

On Wed, 25 Sep 2024 23:17:49 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> Simple change to add a few more index tags on terms related to equality and equivalence.

This pull request has now been integrated.

Changeset: bb040ef4
Author:    Joe Darcy <darcy at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/bb040ef4cc2b626f282cbf6af5b359d1c2505385
Stats:     4 lines in 2 files changed: 0 ins; 0 del; 4 mod

8340983: Use index and definition tags in Object and Double

Reviewed-by: bpb, liach

-------------

PR: https://git.openjdk.org/jdk/pull/21195