IntPQueue
module Boxed : sig ... end
This is a priority queue whose keys are low nonnegative integers. It supports removing or updating the priority of a specific element of the queue.
module Plain : sig ... end
This is a priority queue whose keys are low nonnegative integers.