Agda.Compiler.JS.Case
data Case
data Patt
data Tag
numVars
numVars'
lambda
lambda'
pop
match
refine
visit
tags
tag