module Persistent: functor (G : Sig.P) -> functor (W : WEIGHT with type label = G.E.label) -> sig .. end
functor (
G
:
Sig.P
) ->
W
WEIGHT
with type label = G.E.label
sig
end
WEIGHT with type label = G.E.label
include Sig.P
exception Negative_cycle of G.E.t list
G.E.t list
NegativeCycle
add_edge
add_edge_e