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