module CoverageCheck.Data.List.Some where

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