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