Agda.TypeChecking.CompiledClause

type key :-> value

data WithArity c

data Case c

data CompiledClauses

emptyBranches

litCase

conCase

catchAll