p     6 !"#$ %&'()*+,-./01 234567      8       !!"#$%&'()*+,-./012345678 RBTree-0.0.4Data.Tree.RBTreeData.Tree.RBTreeTestRealOrd RealValue NInfinity PInfinityIntervalRBTreeLeafNodeColorBlackRedemptyRB insertOrd insertOrdListinsert searchOrdsearch searchFast searchMax searchMinsearchIntervalOrdsearchInterval deleteOrd deleteOrdListdeletevDvRtestRBvARBZipPath DirectionToRightToLeftgetColorsetBlacksetRedtoZiptoTree topMostZip leftMostZip rightMostZip leftParentZiprightParentZippredZipsuccZip leftmostV insertRedZip insertFixup searchZipsearchZipTrace deleteZip deleteFixup