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