Agda.Compiler.JS.Substitution
map
shift
shiftFrom
shifter
subst
substituter
map'
subst'
apply
lookup
self
fix
curriedApply
curriedLambda
emp
union
vine
object