source   prog   defn   VAR   1:1-1:3   var   ID   1:5-1:7   rav   COLON   1:9-1:9   :   type   LCURLY   1:11-1:11   {   ID   1:13-1:13   a   COLON   1:14-1:14   :   type   LCURLY   1:16-1:16   {   RCURLY   1:17-1:17   }   COMMA   1:18-1:18   ,   ID   1:20-1:20   b   COLON   1:21-1:21   :   type   LBRACKET   1:23-1:23   (   COLON   1:24-1:24   :   type   LCURLY   1:25-1:25   {   ID   1:26-1:26   a   COLON   1:27-1:27   :   type   LBRACKET   1:29-1:29   (   ID   1:31-1:31   g   COLON   1:33-1:33   :   type   INT   1:35-1:37   int   RBRACKET   1:38-1:38   )   RCURLY   1:39-1:39   }   COLON   1:40-1:40   :   type   BOOL   1:41-1:44   bool   RBRACKET   1:45-1:45   )   RCURLY   1:46-1:46   }   EOF