5 lines
106 B
Text
5 lines
106 B
Text
|
DEFINE order ==
|
||
|
|
[equal] [false]
|
||
|
|
[[[[size] dip size <=] [[<=] mapr2 true [and] fold]] [i] map i and]
|
||
|
|
ifte.
|