Module Graph.Imperative

module type S = sig ... end
module Digraph : sig ... end
module Graph : S
module Matrix : sig ... end