module CoverageCheck.Data.List.All where

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