MODULE RedBlackIntIntTbl = RedBlackTbl (Integer, Integer, IntIntTbl, SortedIntIntTbl) END RedBlackIntIntTbl.