Agda.TypeChecking.Coverage
data
SplitClause
type
Covering
typeOfVar
checkCoverage
cover
isDatatype
data
SplitError
type
CoverM
computeNeighbourhood
splitClause
splitClauseWithAbs
split
split'