-- Module : Debug.QuickCheck
-- Copyright : (c) Koen Claessen, John Hughes 2001
-- License : BSD-style (see the file libraries/core/LICENSE)
-- Module : Debug.QuickCheck
-- Copyright : (c) Koen Claessen, John Hughes 2001
-- License : BSD-style (see the file libraries/core/LICENSE)