They are buried under “Generic Constaints”.
https://www.getlazarus.org/learn/language/lexical/#generic_c...
For me, a BNF would be so much easier. It looks like a fairly easy syntax to parse.
Maybe I will try to create a toy compiler sometime.