Functor Imperative.S.Abstract

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

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.