Functor Imperative.Digraph.Abstract


module Abstract: 
functor (V : sig
type t 
end) -> Sig.IA with type V.label = V.t
Abstract Imperative Directed Unlabeled Graphs
Parameters:
V : sig type t end

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