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]
Def x =A= y == x=y	[eq_adjl]
Def x =M= y == x=y	[eq_adjm]

In prior sections: bool 1 sqequal 1 prog 1 mb nat graph 1 1 graph 1 2 int 2 mb basic num thy 1

Try larger context: Graphs