Agda.TypeChecking.Coverage

data SplitClause

data Covering

splitClauses

clauseToSplitClause

type CoverM

checkCoverage

coverageCheck

cover

splitStrategy

isDatatype

fixTarget

computeNeighbourhood

splitClauseWithAbsurd

splitLast

split

dbIndexToLevel

split'

splitResult