Graph.EdgeLoop

A loop consisting of a sequence of edges.

class Graph
alias EdgeLoop = EdgeId[]

Meta