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