Agda.Auto.CaseSplit

data HI a

type CSPat o

type CSCtx o

data CSPatI o

type Sol o

caseSplitSearch

caseSplitSearch'

infertypevar

replace

betareduce

eqelr

replacep

rm

mm

unifyexp

lift

removevar

notequal

findperm

freevars

applyperm

rename

renamep

seqctx

depthofvar

localTerminationEnv

localTerminationSidecond

getblks