Module Imperative.Graph


module Graph: sig  end
Imperative Undirected Graphs

module Concrete: functor (V : Sig.COMPARABLE) -> sig  end
Imperative Undirected Unlabeled Graphs
module Abstract: functor (V : sig  end) -> sig  end
Abstract Imperative Undirected Unlabeled Graphs
module ConcreteLabeled: functor (V : Sig.COMPARABLE) ->
functor (E : Sig.ORDERED_TYPE_DFT) -> sig end
Imperative Undirected Labeled Graphs
module AbstractLabeled: functor (V : sig  end) -> functor (E : Sig.ORDERED_TYPE_DFT) -> sig  end
Abstract Imperative Undirected Labeled Graphs