module CoverageCheck.Usefulness where

open import CoverageCheck.Usefulness.Definition public
open import CoverageCheck.Usefulness.Algorithm public