Agda.TypeChecking.CompiledClause.Compile
compileClauses
type Cl
type Cls
compile
nextSplit
splitOn
splitC
expandCatchAlls
substBody