avail
2.0.0.alpha23
jvm
avail
/
avail.interpreter.levelOne
/
L1OperationDispatcher
/
L1_doPushOuter
L1_do
Push
Outer
abstract
fun
L1_doPushOuter
(
)
n
- Push the outer variable indexed by
n
in the current function.