type  = impl : Iterator<Item = (RegionVid, RegionVid)> + '_;