On Mon, 9 Sep 2024 05:15:20 GMT, David Holmes <dhol...@openjdk.org> wrote:
>> I tried to separate the "types" from the "values". I think this makes it >> easy to see how many types there are. > > Sorry I don't follow. This is just like a printf call I changed it according to your suggestion. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/20843#discussion_r1751101001
