Module vec1
voile_util
Not using the vec1 crate because it doesn't have fold1.
fold1
Non-empty vector.