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

Context of a vertices as defined by Martin Erwig. Adjacency of type 'MAdj'

Instance members

Instance member Description

this.Item1

Full Usage: this.Item1

Returns: MAdj<'Vertex, 'Edge>

Returns: MAdj<'Vertex, 'Edge>

this.Item2

Full Usage: this.Item2

Returns: 'Label

Returns: 'Label

this.Item3

Full Usage: this.Item3

Returns: MAdj<'Vertex, 'Edge>

Returns: MAdj<'Vertex, 'Edge>