content: -- Disable this warning because we are re-exporting things.
  {-# OPTIONS_GHC -Wno-missing-import-lists #-}
  
  -- |
  -- Module      :   Grisette.Experimental
  -- Copyright   :   (c) Sirui Lu 2024
  -- License     :   BSD-3-Clause (see the LICENSE file)
  --
  -- Maintainer  :   siruilu@cs.washington.edu
  -- Stability   :   Experimental
  -- Portability :   GHC only
  module Grisette.Experimental
    ( -- * Experimental features
  
      -- | The experimental features are likely to be changed in the future,
      -- and they do not comply with the semantics versioning policy.
      --
      -- Use the APIs with caution.
  
      -- ** Symbolic Generation with Errors Class
      GenSymConstrained (..),
      GenSymSimpleConstrained (..),
      genSymConstrained,
      genSymSimpleConstrained,
      derivedSimpleFreshConstrainedNoSpec,
      derivedSimpleFreshConstrainedSameShape,
      derivedFreshConstrainedNoSpec,
  
      -- ** Some common GenSymConstrained specifications
      SymOrdUpperBound (..),
      SymOrdLowerBound (..),
      SymOrdBound (..),
    )
  where
  
  import Grisette.Experimental.GenSymConstrained
    ( GenSymConstrained (..),
      GenSymSimpleConstrained (..),
      SymOrdBound (..),
      SymOrdLowerBound (..),
      SymOrdUpperBound (..),
      derivedFreshConstrainedNoSpec,
      derivedSimpleFreshConstrainedNoSpec,
      derivedSimpleFreshConstrainedSameShape,
      genSymConstrained,
      genSymSimpleConstrained,
    )
  