Agda.TypeChecking.Coverage

data SplitClause

clauseToSplitClause

fixTarget

data Covering

splitClauses

coverageCheck

splitClauseWithAbsurd

splitLast

splitResult