source   prog   defn   TYP   2:1-2:3   typ   ID   2:5-2:5   a   EQUALS   2:7-2:7   =   type   ID   2:9-2:9   b   defn   TYP   3:1-3:3   typ   ID   3:5-3:5   b   EQUALS   3:7-3:7   =   type   ID   3:9-3:9   a   EOF