grenier

Collection of algorithms (HyperLogLog, order maintenance, ...)
IN THIS PACKAGE
Module Mbt . Make

Parameters

module M : MEASURE

Signature

type !+'a t = private
| Leaf
| Node of int * 'a t * 'a M.measurable * 'a t * M.measure
val leaf : 'a t
val node : 'a t -> 'a M.measurable -> 'a t -> 'a t
val size : 'a t -> int
val join : 'a t -> 'a t -> 'a t
val rank : int -> 'a t -> 'a M.measurable
val measure : 'a t -> M.measure