Module type Search.G
module type G =Input signature of the functorsig..end
Search.Make. This minimal multi-graph interface
is a ``subset'' of the MultiGraph.G signature.type t
module Vertex:sig..end
module Edge:sig..end
val mem_vertex : t -> Vertex.t -> boolval iter_succ : (Edge.t -> unit) -> t -> Vertex.t -> unitval fold_succ : (Edge.t -> 'a -> 'a) -> t -> Vertex.t -> 'a -> 'aval iter_pred : (Edge.t -> unit) -> t -> Vertex.t -> unitval fold_pred : (Edge.t -> 'a -> 'a) -> t -> Vertex.t -> 'a -> 'a