module CoverageCheck.Data.List.Any where

open import CoverageCheck.Data.List.Any.Core public
open import CoverageCheck.Data.List.Any.Properties public