Crate quickcheck_macros
This crate provides the #[quickcheck] attribute. Its use is documented in the quickcheck crate.
#[quickcheck]
quickcheck