Agda.TypeChecking.Coverage
data SplitClause
clauseToSplitClause
fixTarget
data Covering
splitClauses
coverageCheck
isCovered
splitClauseWithAbsurd
splitLast
splitResult
normaliseProjP