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'