Module Graph__Oper
Basic operations over graphs
Basic operations over graphs
module type S = sig ... endChoose
Neighbourhood
module Neighbourhood : functor (G : sig ... end) -> sig ... endNeighbourhood of vertex / vertices
Graph__OperBasic operations over graphs
module type S = sig ... endmodule Neighbourhood : functor (G : sig ... end) -> sig ... endNeighbourhood of vertex / vertices