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

open import Data.List.Operation.Basic public
open import Data.List.Operation.DecidableIdentity public
open import Data.List.Operation.AfterProperty public
