Expand description
Create a strategy for Result
s where Ok
values are taken from t
and
Err
values are taken from e
.
Ok
and Err
are chosen with equal probability.
Generated values shrink to Ok
.
Create a strategy for Result
s where Ok
values are taken from t
and
Err
values are taken from e
.
Ok
and Err
are chosen with equal probability.
Generated values shrink to Ok
.