source 
 prog 
 defn 
 VAR 
 2:1-2:3 
 var 
 ID 
 2:5-2:5 
 i 
 COLON 
 2:7-2:7 
 : 
 type 
 INT 
 2:9-2:11 
 int 
 defn 
 TYP 
 3:1-3:3 
 typ 
 ID 
 3:5-3:5 
 s 
 EQUALS 
 3:7-3:7 
 = 
 type 
 LBRACKET 
 3:9-3:9 
 ( 
 ID 
 3:10-3:10 
 i 
 COLON 
 3:11-3:11 
 : 
 type 
 INT 
 3:12-3:14 
 int 
 COMMA 
 3:15-3:15 
 , 
 ID 
 3:17-3:17 
 j 
 COLON 
 3:18-3:18 
 : 
 type 
 INT 
 3:19-3:21 
 int 
 RBRACKET 
 3:22-3:22 
 ) 
 defn 
 TYP 
 4:1-4:3 
 typ 
 ID 
 4:5-4:6 
 s1 
 EQUALS 
 4:8-4:8 
 = 
 type 
 ID 
 4:10-4:10 
 s 
 defn 
 TYP 
 5:1-5:3 
 typ 
 ID 
 5:5-5:6 
 s2 
 EQUALS 
 5:8-5:8 
 = 
 type 
 ID 
 5:10-5:11 
 s1 
 defn 
 VAR 
 6:1-6:3 
 var 
 ID 
 6:5-6:5 
 a 
 COLON 
 6:6-6:6 
 : 
 type 
 ID 
 6:7-6:8 
 s2 
 EOF