Module Imperative.Matrix.Digraph

module Digraph: S 
Imperative Directed Graphs implemented with adjacency matrices.

include Sig.I
val make : int -> t
Creation. graphs are not resizeable: size is given at creation time. Thus make must be used instead of create.