Agda.TypeChecking.CompiledClause

type key :-> value

data Case c

data CompiledClauses