Graph.Nonnegative
module Imperative (G : sig ... end) (W : sig ... end) : sig ... end
module Persistent (G : sig ... end) (W : sig ... end) : sig ... end