PrintForm Definitions graph 1 3 Sections Graphs Doc

At: adjl-edge-accum wf
A:AdjList, T:Type, s:T, x:Vertices(adjl-graph(A)), f:(TVertices(adjl-graph(A))T). adjl-edge-accum(A;s',x'.f(s',x');s;x) T
By:
Unfolds [`adjl-edge-accum`;`adjl-graph`] 0
THEN
Reduce 0
Generated subgoals:

None

About:
functionuniversememberall

PrintForm Definitions graph 1 3 Sections Graphs Doc