Functor Imperative.Digraph.AbstractLabeled


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

include I
module Mark: sig  end