Redirecting to
../../quickcheck/fn.empty_shrinker.html
...