avail
2.0.0.alpha23
jvm
avail
/
avail.optimizer
/
L1Translator
/
L1Ext_doPushLabel
L1Ext_do
Push
Label
open
override
fun
L1Ext_doPushLabel
(
)
Build a continuation which, when restarted, will be just like restarting the current continuation.