package stog

  1. Overview
  2. Docs

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.