Module Tezos_stdlib.Bounded_heap

Bounded sequence: keep only the n greatest elements.

module Make (E : Stdlib.Set.OrderedType) : sig ... end