Module Graph.Nonnegative
module Imperative : functor (G : Sig.IM) -> functor (W : sig ... end) -> sig ... endmodule Persistent : functor (G : Sig.P) -> functor (W : sig ... end) -> sig ... endGraph.Nonnegativemodule Imperative : functor (G : Sig.IM) -> functor (W : sig ... end) -> sig ... endmodule Persistent : functor (G : Sig.P) -> functor (W : sig ... end) -> sig ... end