source   prog   defn   TYP   1:1-1:3   typ   ID   1:5-1:6   t1   EQUALS   1:8-1:8   =   type   ID   1:10-1:11   t2   defn   TYP   2:1-2:3   typ   ID   2:5-2:6   t2   EQUALS   2:8-2:8   =   type   ID   2:10-2:11   t1   EOF