I interpret it like: do all the element of the lis...

# stdlib

[elect]

I interpret it like: do all the element of the list satisfy the predicate? This is true for an empty list, ergo, checking if the list is empty is up to the user