module Data.Set where

open import Data.Set.Definition public
open import Data.Set.Union using (_∪_) public