Module Oug_graph


module Oug_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: 
functor (M : GMap) ->
functor (Edge : Map.OrderedType) -> S with type key = M.key and type edge_data = Edge.t
Making a graph module.
module Make_with_map: 
functor (P : Map.OrderedType) ->
functor (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 Oug_graph.GMap module required by Oug_graph.Make from the P parameter.