Agda.TypeChecking.CompiledClause.Match
matchCompiled
matchCompiledE
type Frame
type Stack
match'
unfoldCorecursionE
unfoldCorecursion