Redirecting to
../../../proptest/arbitrary/trait.Arbitrary.html
...