MODULE SkipListIntIntTbl = SkipListTbl (Integer, Integer, IntIntTbl, SortedIntIntTbl) END SkipListIntIntTbl.