L1Ext_do Push Label
Push a continuation just like the current one, such that if it is ever resumed it will have the same effect as restarting the current one.
Properties
Functions
Link copied to clipboard
Dispatch this operation through an L1OperationDispatcher.
Link copied to clipboard
Write this operation to a NybbleOutputStream. Do not output operands.