Agda.TypeChecking.Coverage
data SplitClause
data Covering
splitClauses
clauseToSplitClause
type CoverM
checkCoverage
coverageCheck
cover
splitStrategy
isDatatype
fixTarget
computeNeighbourhood
splitClauseWithAbsurd
splitLast
split
dbIndexToLevel
split'
splitResult