[code-reflection] Integrated: CoreOps to CoreOp, ExtendedOps to ExtendedOp

[Paul Sandoz]

On Thu, 2 May 2024 21:28:10 GMT, Paul Sandoz <psandoz at openjdk.org> wrote:

> Rename `CoreOps` to `CoreOp` and become the top-top for all core operations. Same for `ExtendedOps`.

This pull request has now been integrated.

Changeset: 903d8b60
Author:    Paul Sandoz <psandoz at openjdk.org>
URL:       https://git.openjdk.org/babylon/commit/903d8b6006d4b567b0522e54e9715c047b8d5092
Stats:     1206 lines in 101 files changed: 66 ins; 38 del; 1102 mod

CoreOps to CoreOp, ExtendedOps to ExtendedOp

Reviewed-by: mcimadamore

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

PR: https://git.openjdk.org/babylon/pull/73