{-# OPTIONS --safe --exact-split --prop #-}
module Data.List where

open import Data.List.Definition public
open import Data.List.Collection public
open import Data.List.Insertable public
open import Data.List.Property public
open import Data.List.Operation public
open import Data.List.Monoid public

