-- Module : Debug.QuickCheck.Batch
-- Copyright : (c) Andy Gill 2001
-- License : BSD-style (see the file libraries/core/LICENSE)
-- Module : Debug.QuickCheck.Batch
-- Copyright : (c) Andy Gill 2001
-- License : BSD-style (see the file libraries/core/LICENSE)