Agda.TypeChecking.CompiledClause
type
key
:->
value
data
Case
c
data
CompiledClauses