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