Module type Sig.IM

module type IM = sig .. end

Signature for imperative graphs with marks on vertices.


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.