Get an equivalence for fc.Arbitrary<A> from an equivalence of A. Arbitraries are equal if they produce the same values for the same seeds. Note this only means we were unable to find a counter-example to the equivalence.
fc.Arbitrary<A>
A
Optional
Get an equivalence for
fc.Arbitrary<A>from an equivalence ofA. Arbitraries are equal if they produce the same values for the same seeds. Note this only means we were unable to find a counter-example to the equivalence.