Did you know ... Search Documentation:
Pack quickcheck -- prolog/shrink.pl
PublicShow source