Context<'Vertex, 'Label, 'Edge> Type

Context of a vertice as defined by Martin Erwig. Adjacency of type 'Adj'

Instance members

Instance member Description

this.Item1

Full Usage: this.Item1

Returns: Adj<'Vertex, 'Edge>

Returns: Adj<'Vertex, 'Edge>

this.Item2

Full Usage: this.Item2

Returns: 'Vertex

Returns: 'Vertex

this.Item3

Full Usage: this.Item3

Returns: 'Label

Returns: 'Label

this.Item4

Full Usage: this.Item4

Returns: Adj<'Vertex, 'Edge>

Returns: Adj<'Vertex, 'Edge>