module PrioQueue: sig .. end
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
functor (
Ord
:
ProglangUtils.PrioQueues.ORD
) ->
Data
DATA
S
with type key = Ord.t and type data = Data.t