M.size
M.sizeT
primrec(M.size;s;
y,s'. if M.adj(x,y)
f(s',y) else s' fi) = list_accum(s',x'.f(s',x');s;filter(M.adj(x);upto(0;M.size)))
n:, f,x:Top. primrec(n;x;f) ~ list_accum(i,y.f(y,i);x;upto(0;n))
0
f:(TAT), P:(A
), L:A List, s:T. list_accum(s',x'.f(s',x');s;filter(P;L)) ~ list_accum(i,y.if P(y) f(i,y) else i fi;s;L)
0
None
About:
| | | | |
 |  |  |  |  |  |  |