module Stog_graph: sig
.. end
Annotated sparse graphs.
module type GMap = sig
.. end
module type S = sig
.. end
This is the output signature of the functor creating a graph module.
module Make (
M
:
GMap
)
(
Edge
:
Map.OrderedType
)
: S
with type key = M.key and type edge_data = Edge.t
Making a graph module.
module Make_with_map (
P
:
Map.OrderedType
)
(
Edge
:
Map.OrderedType
)
: S
with type key = P.t and type edge_data = Edge.t
This is a convenient functor using the
Map
module of the standard library
to build the
Stog_graph.GMap
module required by
Stog_graph.Make
from the
P
parameter.