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

open import Collection.Listable.Definition public
open import Collection.Listable.Property public
open import Collection.Listable.Function public
