Integrated: JDK-8314477: Improve definition of "prototypical type"

[Joe Darcy]

On Thu, 17 Aug 2023 01:02:13 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> Use an index tag to make the definition of "prototypical type" more findable.

This pull request has now been integrated.

Changeset: 6445314f
Author:    Joe Darcy <darcy at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/6445314fec25b85db32d9fb75c9c1b29e07f01cb
Stats:     13 lines in 2 files changed: 6 ins; 4 del; 3 mod

8314477: Improve definition of "prototypical type"

Reviewed-by: prappo

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

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