package stog

You can search for identifiers within the package.

in-package search v0.2.0

Module `Stog.Graph`

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 GMap module required by Make from the P parameter.