[package]
name = "demo"
version = "0.1.0"

[dev-dependencies]
proptest = "1"