Type Definition NewTree
proptest::strategy
type NewTree<S> = Result<<S as Strategy>::Tree, Reason>;
A new ValueTree from a Strategy when Ok or otherwise Err when a new value-tree can not be produced for some reason such as in the case of filtering with a predicate which always returns false. You should pass in your strategy as the type parameter.
ValueTree
Strategy
Ok
Err