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