grenier

Collection of algorithms (HyperLogLog, order maintenance, ...)
IN THIS PACKAGE
Module Bt2
type (!+'a, !+'b) t = private
| Leaf
| Node of int * ( 'a, 'b ) t * 'a * 'b * ( 'a, 'b ) t
val leaf : ( 'a, 'b ) t
val node : ( 'a, 'b ) t -> 'a -> 'b -> ( 'a, 'b ) t -> ( 'a, 'b ) t
val size : ( 'a, 'b ) t -> int
val join : ( 'a, 'b ) t -> ( 'a, 'b ) t -> ( 'a, 'b ) t
val rank : int -> ( 'a, 'b ) t -> 'a * 'b