{-# OPTIONS --with-K #-}
module Prelude.Sets where

-- ** pick implementation to export
open import
  Prelude.Sets.AsUniqueLists
  -- Prelude.Sets.AsPredicates
  public