Module Imperative.Matrix

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