Module `Priority_queue`

Max priority queue

module type Order = sig ... end

module type Priority_queue = sig ... end

module Make
  (Priority : Priority_queue.Order) : 
  Priority_queue.Priority_queue with type priority = Priority.t

Module Priority_queue