Agda.TypeChecking.CompiledClause
type key :-> value
data WithArity c
data Case c
data CompiledClauses
emptyBranches
litCase
conCase
catchAll