http://www.ada-auth.org/standards/22rm/html/RM-1-1-4.html The Ada Reference Manu...

Jtsummers on Aug 16, 2023 | parent | context | favorite | on: How should I read type system notation?

http://www.ada-auth.org/standards/22rm/html/RM-1-1-4.html

The Ada Reference Manual specifies the notation they use. They're using a variant of Backus-Naur Form and they describe their particular variant in the section I linked above.