Yes exactly. It’s that. Thank you for your clarification. I’m still unsure how, without using the abstract type at all, you get the opaque benefit. On your example you are declared everything as just Int s.
I saw a related answer on another suggested post Curious about needs for private record fields
Seems they are also called private fields. How is this forum system so smart?