Expand description
Create a strategy for Results 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 Results 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.