Module Gmap


module Gmap: sig .. end
Graph mapping

module Vertex: 
functor (G_Init : sig
type t 
module V: Sig.HASHABLE 
val fold_vertex : (V.t -> 'a -> 'a) -> t -> 'a -> 'a
end) ->
functor (G_Dest : sig
type t 
type vertex 
val empty : unit -> t
val add_vertex : t -> vertex -> t
end) -> sig .. end
module Edge: 
functor (G_Init : sig
type t 
module E: Sig.HASHABLE 
val fold_edges_e : (E.t -> 'a -> 'a) -> t -> 'a -> 'a
end) ->
functor (G_Dest : sig
type t 
type edge 
val empty : unit -> t
val add_edge_e : t -> edge -> t
end) -> sig .. end