module Imperative: functor (G : Sig.IM) -> functor (W : Sig.WEIGHT with type edge = G.E.t) -> sig .. end
functor (
G
:
Sig.IM
) ->
W
Sig.WEIGHT
with type edge = G.E.t
sig
end
Sig.WEIGHT with type edge = G.E.t
include Sig.IM
exception Negative_cycle of G.E.t list
G.E.t list