mirror of https://www.lri.fr/~filliatr/ftp/ocaml/ds/rope.ml{,i}