avail
2.0.0.alpha24
jvm
avail
/
avail.interpreter.levelOne
/
L1OperationDispatcher
/
L1Ext_doPushLabel
L1Ext_do
Push
Label
abstract
fun
L1Ext_doPushLabel
(
)
Build a continuation which, when restarted, will be just like restarting the current continuation.