Functor Imperative.S.AbstractLabeled

module AbstractLabeled: 
functor (V : Sig.ANY_TYPE) ->
functor (E : Sig.ORDERED_TYPE_DFT) -> Sig.IM with type V.label = V.t and type E.label = E.t
Abstract Imperative Labeled Graphs.
Parameters:
V : Sig.ANY_TYPE
E : Sig.ORDERED_TYPE_DFT

include Sig.I

An imperative graph with marks is an imperative graph.
module Mark: Sig.MARK  with type graph = t and type vertex = vertex
Mark on vertices.