Agda.TypeChecking.CompiledClause
data WithArity c
data Case c
data CompiledClauses' a
type CompiledClauses
litCase
conCase
projCase
catchAll
hasCatchAll
prettyMap