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