is_empty

In std/seq.

reduction fn is_empty(self: Collection<T>) : Bool

Whether self has no values: [] | is_empty is true.