module type IM = sig .. end
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
Sig.MARK
with type graph = t and type vertex = vertex
Mark on vertices.