Agda.Compiler.JS.Substitution

map

shift

shiftFrom

shifter

subst

substituter

map'

subst'

apply

lookup

self

fix

curriedApply

curriedLambda

emp

union

vine

object