source   prog   defn   FUN   2:1-2:3   fun   ID   2:5-2:5   f   LBRACKET   2:6-2:6   (   RBRACKET   2:7-2:7   )   COLON   2:9-2:9   :   type   INT   2:11-2:13   int   EQUALS   2:15-2:15   =   expr   LET   2:17-2:19   let   defn   TYP   2:21-2:23   typ   ID   2:25-2:25   a   EQUALS   2:27-2:27   =   type   INT   2:29-2:31   int   defn   TYP   2:33-2:35   typ   ID   2:37-2:37   b   EQUALS   2:39-2:39   =   type   INT   2:41-2:43   int   IN   2:45-2:46   in   expr   ID   2:48-2:48   a   COMMA   2:49-2:49   ,   expr   ID   2:51-2:51   b   END   2:53-2:55   end   EOF