Module vec1
voile_util
Not using https://docs.rs/vec1/1.4.0 because it doesn't have fold1.
fold1
Non-empty vector.