source   prog   defn   FUN   3:1-3:3   fun   ID   3:5-3:5   f   LBRACKET   3:6-3:6   (   RBRACKET   3:7-3:7   )   COLON   3:9-3:9   :   type   BOOL   3:11-3:14   bool   EQUALS   3:16-3:16   =   expr   expr   expr   ID   3:18-3:18   a   GT   3:20-3:20   >   expr   ID   3:22-3:22   b   LT   3:24-3:24   <   expr   ID   3:26-3:26   c   EOF