grenier

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