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