Agda.TypeChecking.CompiledClause.Match
matchCompiled
type
Stack
match
match'
unfoldCorecursion