1:1-1:3   TYP   typ 
 1:5-1:5   ID   a 
 1:7-1:7   EQUALS   = 
 1:9-1:9   LBRACKET   ( 
 1:10-1:10   COLON   : 
 1:11-1:11   COLON   : 
 1:12-1:14   INT   int 
 1:15-1:15   RBRACKET   ) 
 2:1-2:3   FUN   fun 
 2:5-2:5   ID   f 
 2:6-2:6   LBRACKET   ( 
 2:7-2:7   RBRACKET   ) 
 2:9-2:9   COLON   : 
 2:11-2:11   LCURLY   { 
 2:12-2:12   RCURLY   } 
 2:14-2:14   EQUALS   = 
 3:5-3:5   HAT   ^ 
 3:6-3:6   ID   a 
 3:7-3:7   HAT   ^ 
    EOF