1 2 3 4 5 6 7
[package] name = "nonempty" version = "0.1.5" description = "Correct by construction non-empty vector" authors = ["Alexis Sellier <self@cloudhead.io>"] edition = "2018" license = "MIT"