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.