Functor Graph.Presentation

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

Presentation of a graph.

Parameters:

`V`	:	`Alphabet.T`
`E`	:	`Alphabet.T`

module EM: Alphabet.Map(E)(Alphabet.Prod(V)(V))

type t = {

	`vertices : V.t list;`
	`edges : EM.t;`

}

val empty : t

val add_vertex : t -> V.t -> t

val add_edge : t ->
       EM.M.key -> V.t * V.t -> t