Proptest-derive is a procedural macro. It will run at compile time and transform your program's source code.
proptest-derive macro(s) as a dependency
If you have cargo-edit installed, run this command in a terminal, in your project's directory:
cargo add proptest-derive
To add it manually, edit your project's
Cargo.toml file and add to the
proptest-derive = "0.1.2"
You may need to import the macro(s) with