Agda.TypeChecking.Coverage

data SplitClause

type Covering

data SplitError

type CoverM

typeOfVar

checkCoverage

cover

isDatatype

computeNeighbourhood

splitClause

splitClauseWithAbs

split

split'