module CoverageCheck.Data.List.First where

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