Function smoke::forall

pub fn forall<T, G>(g: G) -> Forall<G> where
    G: Generator<Item = T>, 

Put a generator in random sampling mode for property testing

use smoke::{Generator, generator::num, property::equal, forall};

let property_equal = forall(num::<u32>()).ensure(|x| equal(*x, *x));