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   d   defn   TYP   4:1-4:3   typ   ID   4:5-4:5   c   EQUALS   4:7-4:7   =   type   ID   4:9-4:9   a   defn   TYP   5:1-5:3   typ   ID   5:5-5:5   d   EQUALS   5:7-5:7   =   type   ID   5:9-5:9   a   EOF