grenier

Collection of algorithms (HyperLogLog, order maintenance, ...)
IN THIS PACKAGE
Module type Mbt . MEASURE
type +'a measurable
type measure
val empty : measure
val cat : measure -> 'a measurable -> measure -> measure