1 < 2
2 < 2
3 < 2
1/2 < 2/3
1 <= 2
2 <= 2
3 <= 2
3 > 1
3 > 3
3 > 4
3 >= 1
3 >= 3
3 >= 4
3 == 5
3 == 3
3 /= 5
3 /= 3
(1,2) < (1,3)
(1,3) < (2,1)
(2,2) < (2,1)
(2,3) == (2,3)
(2,3) == (2,4)
[1,2,3] == [1,2,3]
[1,2,3] == [1,2,3,4]
[1,2,3] == [1,2,4]
([] : List(N)) < [1]
[1,2] < [1,2,3]
[1,2] < [2]
[1,2,3,5,2,6] < [1,2,1,3,1,2]
[1,2,3,5,2,6] < [1,2,4,3,1,2]
(left 3 : N + N) < (left 2 : N + N)
(left 3 : N + N) < (left 4 : N + N)
(left 3 : N + N) < (right 1 : N + N)
(right 3 : N + N) < (right 1 : N + N)
(right 3 : N + N) < (right 4 : N + N)
unit <= unit
unit < unit
false < false
false < true
3 min 5
3 max 5
3 min 2 min 5 min 1 min 4
3 max 2 max 5 max 1 max 4
[1,2,3,5,2,6] max [1,2,1,3,1,2]
[1,2,3,5,2,6] min [1,2,1,3,1,2]