Idris.Core.CaseTree
data CaseDef
type SC
data SC' t
type CaseAlt
data CaseAlt' t
type ErasureInfo
data Phase
type CaseTree
data CaseType
simpleCase
small
namesUsed
findCalls
findCalls'
findUsedArgs
substSC
substAlt
mkForce