[package] authors = ["Alexis Sellier <self@cloudhead.io>"] description = "Correct by construction non-empty vector" edition = "2018" license = "MIT" name = "nonempty" version = "0.4.0"