Mavryk_stdlib.Bounded_heap
Bounded sequence: keep only the n greatest elements.
n
module Make (E : Stdlib.Set.OrderedType) : sig ... end