Si tratta di uno pseudocodice che non e c, ::= sembra essere il simbolo che introduce la definizione di un tipo o di una funzione, la 8 definisce un array di strutture