Functor Oper.Difference.P


module P: 
functor (G : Sig.P) -> sig .. end
Persistent implementation
Parameters:
G : Sig.P

module VertexSet: Set.S  with type elt = G.V.t
			     and type t = Set.Make(G.V).t
val minus_vertex : G.t -> G.V.t -> G.t
val minus_vertices : G.t -> VertexSet.t -> G.t