Agda.TypeChecking.CompiledClause.Match

matchCompiled

matchCompiledE

type Frame

type Stack

match'