source 
 prog 
 defn 
 TYP 
 1:1-1:3 
 typ 
 ID 
 1:5-1:8 
 test 
 EQUALS 
 1:10-1:10 
 = 
 type 
 LBRACKET 
 1:12-1:12 
 ( 
 ID 
 1:13-1:13 
 a 
 COLON 
 1:14-1:14 
 : 
 type 
 INT 
 1:16-1:18 
 int 
 COMMA 
 1:19-1:19 
 , 
 ID 
 1:21-1:21 
 b 
 COLON 
 1:22-1:22 
 : 
 type 
 CHAR 
 1:24-1:27 
 char 
 RBRACKET 
 1:28-1:28 
 ) 
 EOF