Module PrioQueue


module PrioQueue: sig .. end

module type DATA = sig .. end
module type S = sig .. end
module Make: 
functor (Ord : ProglangUtils.PrioQueues.ORD) ->
functor (Data : DATA) -> S with type key = Ord.t and type data = Data.t