Compose a maintained physical fragment with declared effects. Fragments
retain every command identity and loop marker; admission examines each
operation in the original application scope before recorder storage exists.
477def nativeObservedPrefixCommands =
478 (lambda unrestricted commands : (family NativePhysicalCommands) .
479 (lambda unrestricted tail : (family NativeObservedSteps) .
480 (eliminate
481 NativePhysicalCommands
482 (lambda unrestricted current : (family NativePhysicalCommands) .
483 (family NativeObservedSteps))
484 commands
485 (branch NativePhysicalCommandsEnd . tail)
486 (branch
487 NativePhysicalCommandsNext
488 command
489 rest
490 induction
491 .
492 (constructor NativeObservedSteps NativeObservedCommand command induction)))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.