Tezos_stdlib.Bounded_min_heapBounded min-heap: keep only the n smallest elements.
Make (ID) (E) creates a min heap for element of type E.t using the E.compare function. The heap is bounded and adding more elements than its capacity will fail. The module ID is used to check if an element already exists at insertion.