Agda.TypeChecking.CompiledClause

data WithArity c

data Case c

data CompiledClauses

litCase

conCase

projCase

catchAll

hasCatchAll

Pretty instances.

prettyMap

KillRange instances.