avail/avail.interpreter.levelOne/L1OperationDispatcher/L1Ext_doPushLabel

L1Ext_doPushLabel

abstract fun L1Ext_doPushLabel()
Content copied to clipboard

Build a continuation which, when restarted, will be just like restarting the current continuation.