PrintForm Definitions graph 1 3 Sections Graphs Doc

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

None

About:
functionuniversememberall

PrintForm Definitions graph 1 3 Sections Graphs Doc