948def nativePhysicalProgramComposeOperationIsHalt =
949 (lambda unrestricted operation : (family NativePhysicalOperation) .
950 (eliminate NativePhysicalOperation
951 (lambda unrestricted current : (family NativePhysicalOperation) . Nat)
952 operation
953 (branch NativePhysicalSystemCall number arguments payload binding . zero)
954 (branch NativePhysicalCopyPayloadToState destination extent payload . zero)
955 (branch NativePhysicalMachineRoutine code arguments binding . zero)
956 (branch NativePhysicalFencePoll address expected polls . zero)
957 (branch NativePhysicalTelemetryAppend path record . zero)
958 (branch NativePhysicalAssertEqual left right error . zero)
959 (branch NativePhysicalAssertOneOf observed first second error . zero)
960 (branch NativePhysicalHaltSuccess . (succ zero))
961 (branch NativePhysicalRepeatBegin count . zero)
962 (branch NativePhysicalSkipUnlessEqual left right count . zero)
963(branch NativePhysicalRepeatEnd . zero)
964 (branch NativePhysicalRepeatEndWhen observed expected . zero)
965 (branch NativePhysicalStoreWord64 destination value . zero)
966 (branch NativePhysicalFenceWait address expected polls interval . zero)
967 (branch NativePhysicalRepeatBeginCounted count . zero)
968 (branch NativePhysicalAddWord64 destination left right . zero)
969 (branch NativePhysicalFloat64 operation destination left right . zero)))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.