Idris.Coverage
mkPatTm
genClauses
validCoverageCase
recoverableCoverage
genAll
upd
checkAllCovering
checkPositive
calcTotality
checkTotality
checkDeclTotality
buildSCG
delazy
delazy'
data Guardedness
buildSCG'
checkSizeChange
type MultiPath
mkMultiPaths
checkMP
allNothing
collapseNothing
noPartial
collapse
collapse'
totalityCheckBlock