Fixed the problem in addRange! It turned out that the original OCaml code contained an integer rollover bug (i.e., it should have used the safe_ versions of pred and succ). Fixed copy-paste error in DeleteMin.
Fixed the problem in addRange! It turned out that the original OCaml code contained an integer rollover bug (i.e., it should have used the safe_ versions of pred and succ).
Fixed copy-paste error in DeleteMin.

emavchun/facio,YaccConstructor/facio,jack-pappas/facio,YaccConstructor/facio,emavchun/facio