Module proptest::prelude::prop[][src]

Re-exports the entire public API of proptest so that an import of prelude allows simply writing, for example, prop::num::i32::ANY rather than proptest::num::i32::ANY plus a separate use proptest;.

Re-exports

pub use crate::arbitrary;
pub use crate::array;
pub use crate::bits;
pub use crate::bool;
pub use crate::char;
pub use crate::collection;
pub use crate::num;
pub use crate::option;
pub use crate::result;
pub use crate::sample;
pub use crate::strategy;
pub use crate::test_runner;
pub use crate::tuple;