Source code on Github
{-# OPTIONS --with-K #-}
module Prelude.Sets.AsSortedUniqueLists where

open import Prelude.Sets.AsSortedUniqueLists.Core public
open import Prelude.Sets.AsSortedUniqueLists.Extra public
open import Prelude.Sets.AsSortedUniqueLists.SetMappings public
open import Prelude.Sets.AsSortedUniqueLists.Indexed public