source   prog   defn   TYP   1:1-1:3   typ   ID   1:5-1:5   a   EQUALS   1:7-1:7   =   type   INT   1:9-1:11   int   defn   TYP   2:1-2:3   typ   ID   2:5-2:5   b   EQUALS   2:7-2:7   =   type   LBRACKET   2:9-2:9   (   ID   2:10-2:10   x   COLON   2:11-2:11   :   type   LBRACKET   2:13-2:13   (   ID   2:14-2:14   y   COLON   2:15-2:15   :   type   LBRACKET   2:17-2:17   (   ID   2:18-2:18   z   COLON   2:19-2:19   :   type   ID   2:21-2:21   a   RBRACKET   2:22-2:22   )   RBRACKET   2:23-2:23   )   RBRACKET   2:24-2:24   )   EOF