{-# OPTIONS --exact-split --prop --safe #-}
module Collection where

open import Collection.Definition public
open import Collection.Basic public
open import Collection.Insertable public
open import Collection.Removable public
open import Collection.Listable public
open import Collection.Operation public
open import Collection.Subset public
open import Collection.Nested public
