Agda.TypeChecking.CompiledClause
type key :-> value
data Case c
data CompiledClauses
compileClauses
type Cl
type Cls
compile
nextSplit
splitOn
splitC