Functor Nonnegative.Imperative

module Imperative: 
functor (G : Sig.IM) ->
functor (W : Sig.WEIGHT with type edge = G.E.t) -> sig .. end
Parameters:
G : Sig.IM
W : Sig.WEIGHT with type edge = G.E.t

include Sig.IM
exception Negative_cycle of G.E.t list