Module Oper

module Oper: sig .. end

Basic operations over graphs

module type S = sig .. end

module Make: 
functor (B : Builder.S) -> S  with type g = B.G.t

module P: 
functor (G : Sig.P) -> S  with type g = G.t

module I: 
functor (G : Sig.I) -> S  with type g = G.t

Choose

module Choose: 
functor (G : sig

type t 

type vertex 

type edge 

val iter_vertex : (vertex -> unit) -> t -> unit

val iter_edges_e : (edge -> unit) -> t -> unit

end) -> sig .. end

Neighbourhood

module Neighbourhood: 
functor (G : sig

type t 

module V: Sig.COMPARABLE 

val fold_succ : (V.t -> 'a -> 'a) -> t -> V.t -> 'a -> 'a

val succ : t -> V.t -> V.t list

end) -> sig .. end