Functor Imperative.Graph.AbstractLabeled


module AbstractLabeled: functor (V : sig  end) -> functor (E : Sig.ORDERED_TYPE_DFT) -> sig  end
Abstract Imperative Undirected Labeled Graphs
Parameters:
V : sig end
E : Sig.ORDERED_TYPE_DFT

include I
module Mark: sig  end