Agda.TypeChecking.CompiledClause.Match

matchCompiled

type Stack

match

match'

unfoldCorecursion