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