Module Graph

module Graph: sig .. end

Graphs.

module type T = sig .. end

A graph.

module Terminal: sig .. end

The terminal graph.

module Presentation: functor (V : Alphabet.T) -> functor (E : Alphabet.T) -> sig .. end

Presentation of a graph.