graph 1 3 Sections Graphs Doc

Def Case mk_adjlist(size; out ) = > body(size;out)(x,z) == x/x2,x1. body(x2;x1)

is mentioned by

Def adjl_to_adjm(l) == Case(l) Case mk_adjlist(n; out ) = > mk_adjmatrix(n, i,j. (kout(i).k=j))[adjl_to_adjm]

Try larger context: Graphs

graph 1 3 Sections Graphs Doc