Idris.Termination
checkAllCovering
checkIfGuarded
checkPositive
calcTotality
checkTotality
checkDeclTotality
verifyTotality
buildSCG
delazy
delazy'
data Guardedness
buildSCG'
checkSizeChange
type MultiPath
mkMultiPaths
checkMP
allNothing
collapseNothing
noPartial
collapse
collapse'