Module Pqueue

module Pqueue: sig .. end

module type OrderedType = sig .. end

module type S = sig .. end

module Make: 
functor (Ord : OrderedType) -> S  with type elt = Ord.t