module CoverageCheck.Data.List.HPointwise where

open import CoverageCheck.Data.List.HPointwise.Core public