{-# OPTIONS --safe #-}
module Data.Quotient.Set where

open import Data.Quotient.Set.Base       public
open import Data.Quotient.Set.Path       public
open import Data.Quotient.Set.Properties public
open import Data.Quotient.Set.Split      public

open import Data.Quotient.Set.Instances.Everything public
