Module Graph__Heap
Priority queues
module type Ordered = sig ... endmodule Imperative : functor (X : Ordered) -> sig ... endGraph__HeapPriority queues
module type Ordered = sig ... endmodule Imperative : functor (X : Ordered) -> sig ... end