source   prog   defn   VAR   1:1-1:3   var   ID   1:5-1:6   id   COLON   1:8-1:8   :   type   LBRACKET   1:10-1:10   (   type   LBRACKET   1:11-1:11   (   type   LBRACKET   1:12-1:12   (   type   LBRACKET   1:13-1:13   (   type   LBRACKET   1:14-1:14   (   type   LBRACKET   1:15-1:15   (   type   LBRACKET   1:16-1:16   (   type   INT   1:17-1:19   int   RBRACKET   1:20-1:20   )   RBRACKET   1:21-1:21   )   RBRACKET   1:22-1:22   )   RBRACKET   1:23-1:23   )   RBRACKET   1:24-1:24   )   RBRACKET   1:25-1:25   )   RBRACKET   1:26-1:26   )   EOF