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