module Make: functor (G : G) -> functor (W : Sig.WEIGHT with type edge = G.E.t) -> sig .. end
functor (
G
:
) ->
W
Sig.WEIGHT
with type edge = G.E.t
sig
end
Sig.WEIGHT with type edge = G.E.t
val spanningtree : Prim.G.t -> Prim.G.E.t list
Prim.G.t -> Prim.G.E.t list
val spanningtree_from : Prim.G.t -> G.V.t -> Prim.G.E.t list
Prim.G.t -> G.V.t -> Prim.G.E.t list