source   prog   defn   FUN   1:1-1:3   fun   ID   1:5-1:5   f   LBRACKET   1:6-1:6   (   RBRACKET   1:7-1:7   )   COLON   1:9-1:9   :   type   VOID   1:11-1:14   void   EQUALS   1:16-1:16   =   expr   HAT   2:5-2:5   ^   expr   expr   ID   2:6-2:6   a   HAT   2:7-2:7   ^   EOF