Functor Imperative.Graph.Abstract


module Abstract: functor (V : sig  end) -> sig  end
Abstract Imperative Undirected Unlabeled Graphs
Parameters:
V : sig end

include I
module Mark: sig  end