Module Oper


module Oper: sig .. end
Basic operations over graphs

module type S = sig .. end
module Make: 
functor (G : Sig.G) ->
functor (B : Builder.S with module G = G) -> S with type g = G.t
module P: 
functor (G : Sig.P) -> S with type g = G.t
Basic operations over persistent graphs
module I: 
functor (G : Sig.I) -> S with type g = G.t
Basic operations over imperative graphs
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
Choose an element in a graph

Creates subgraphs induced by the remaining vertices
module Difference: sig .. end