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