Agda.TypeChecking.CompiledClause.Compile
compileClauses
data Cl
type Cls
compileWithSplitTree
compile
nextSplit
properSplit
isVar
splitOn
splitC
expandCatchAlls
ensureNPatterns
substBody