graph 1 2 Sections Graphs Doc

Def mklist(n;f) == primrec(n;nil;i,l. l @ [(f(i))])

is mentioned by

Def L[i--] == mklist(||L||;j.if j=i L[j]-1 else L[j] fi)[list-dec]

In prior sections: mb list 1 mb list 2

Try larger context: Graphs

graph 1 2 Sections Graphs Doc