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.