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