if null((u.v) @ M)
0 ;e=
hd(((u.v) @ M))1+||e:tl(((u.v) @ M))|| else ||e:tl(((u.v) @ M))|| fi
=
||e:u.v||+||e:M||
*** ||e:(u.v) @ M|| = ||e:u.v||+||e:M|| | 1 | if null((u.v) @ M)0 ;e=hd(((u.v) @ M))1+||e:tl(((u.v) @ M))|| else ||e:tl(((u.v) @ M))|| fi
=
||e:u.v||+||e:M||
|
About:
 |  |  |  |  |  |  |