Agda.TypeChecking.Coverage

data SplitClause

data Covering

splitClauses

clauseToSplitClause

data SplitError

type CoverM

checkCoverage

coverageCheck

cover

splitStrategy

isDatatype

computeNeighbourhood

splitClauseWithAbs

splitLast

split

blendInAbsurdClause

splitDbIndexToLevel

dbIndexToLevel

split'