Module Tezos_stdlib.Bounded_heapSource

Bounded sequence: keep only the n greatest elements.

Sourcemodule Make (E : Set.OrderedType) : sig ... end