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