module Heap:Vector.Heap
(
sig
typet =
Diameter.G.vertex * Diameter.MakeGen.W.t
val compare :'a * Diameter.MakeGen.W.t -> 'b * Diameter.MakeGen.W.t -> int
end
)
module V:Vector.OfArray
(
A
)
type
t = {
|
mutable v : |
|
mutable back : |
typeelt =
V.elt
val create : ?size:int -> unit -> t
val is_empty : t -> bool
val clear : t -> unit
val add : t -> V.elt -> unit
val push : t -> V.elt -> unit
val peek_min : t -> V.elt
val pop_min : t -> V.elt
val size : t -> int