Functor Imperative.Graph.AbstractLabeled


module AbstractLabeled: 
functor (V : sig
type t 
end) ->
functor (E : Sig.ORDERED_TYPE_DFT) -> Sig.IA with type V.label = V.t and type E.label = E.t
Abstract Imperative Undirected Labeled Graphs
Parameters:
V : sig type t end
E : Sig.ORDERED_TYPE_DFT

include Sig.I
module Mark: Sig.MARK  with type graph = t and type vertex = vertex