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.