| empty((1,2)) |
false |
| exists((1,2)) |
true |
| head((1,2,3)) |
1 |
| tail((1,2,3)) |
(2,3) |
| insert-before((1,2,3),2,(4,5)) |
(1,4,5,2,3) |
| remove((1,2,3),2) |
(1,3) |
| reverse((1,2,3)) |
(3,2,1) |
| subsequence((1,2,3,4,5),2,2) |
(2,3) |
| unordered((1,2,3,4,5)) |
(1,2,3,4,5) |
| distinct-values((1,2,3,2,1)) |
(1,2,3) |
| index-of((10,20,30,30,40,50),30) |
(3,4) |
| deep-equal((1,2,3),(1,(2),3)) |
true |
| zero-or-one((10)) |
10 |
| zero-or-one(()) |
() |
| one-or-more((1,2,3)) |
(1,2,3) |
| exactly-one((10)) |
10 |
| count((1,2,3)) |
3 |
| avg((3,4,7)) |
4.6666666667 |
| max((1,2,3)) |
3 |
| min((1,2,3)) |
1 |
| sum((1,2,3)) |
6 |