{"library":"proptest","install":[{"cmd":"# Cargo.toml\n[dependencies]\nproptest = \"1.11.0\"","imports":["use proptest::prelude::*;"]},{"cmd":"cargo add proptest","imports":[]}]}