Module Graph__.Nonnegative
module Imperative : functor (G : Graph.Sig.IM) -> functor (W : Graph.Sig.WEIGHT with type edge = G.E.t) -> sig ... end
module Persistent : functor (G : Graph.Sig.P) -> functor (W : Graph.Sig.WEIGHT with type edge = G.E.t) -> sig ... end
Persistent graphs with negative-cycle prevention