module CoverageCheck.Data.List.Many where

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