732def nativeIndependentArtifact =
733 (lambda unrestricted target : (family NativeHostTarget) .
734 (lambda unrestricted resources : (family NativeResourceContext) .
735 (lambda unrestricted slots : Nat .
736 (lambda unrestricted system : (family IndependentStateSystem slots) .
737 (lambda unrestricted owner : Nat .
738 (lambda unrestricted addresses : (family StdList Bytes) .
739 (lambda unrestricted resume : Nat .
740 (lambda unrestricted epoch : Nat .
741 (lambda unrestricted steps : Nat .
742 (lambda unrestricted available : Nat .
743 (let unrestricted edges =
744 (niEdges slots system owner addresses)
745 in
746 (niWithLayout
747 slots
748 system
749 epoch
750 0
751 (pointwiseProgramTemporaryValues
752 StdU64
753 slots
754 (independentAssignments slots system))
755 available
756 (lambda unrestricted layout : (family NativeIndependentLayout) .
757 (nat-eliminate
758 (lambda unrestricted valid : Nat . Bytes)
759 b""
760 (lambda unrestricted previous : Nat .
761 (lambda unrestricted ignored : Bytes .
762 (eliminate
763 StdResult
764 (lambda unrestricted result : (family StdResult Bytes (family NativePhysicalCommands)) .
765 Bytes)
766 (planNativePointwiseProgram
767 slots
768 (independentAssignments slots system)
769 (niValuesAt layout)
770 (niEndpoint slots system layout)
771 nativePeerScratchSlot
772 niEnd)
773 (branch StdFailure error . b"")
774 (branch
775 StdSuccess
776 step
777 .
778 (eliminate
779 StdResult
780 (lambda unrestricted result : (family StdResult (family NativeCheckpointFailure) (family NativePhysicalCommands)) .
781 Bytes)
782 (niCommandsWith
783 slots
784 system
785 layout
786 owner
787 edges
788 resume
789 steps
790 (niExtent slots system layout edges)
791 (lambda unrestricted tail : (family NativePhysicalCommands) .
792 tail)
793 (nativePhysicalProgramComposeCommandsAppend step)
794 (lambda unrestricted tail : (family NativePhysicalCommands) .
795 tail)
796 (lambda unrestricted tail : (family NativePhysicalCommands) .
797 tail))
798 (branch StdFailure error . b"")
799 (branch
800 StdSuccess
801 commands
802 .
803 (nativeHostTargetResourceArtifact
804 target
805 resources
806 (niProgramFor
807 (nativePeerEdgeSlots edges)
808 (niExtent slots system layout edges)
809 commands))))))))
810 (naturalAnd
811 (niRunAdmitted slots system owner resume epoch steps)
812 (naturalAnd
813 (niEdgesAdmitted slots system owner addresses)
814 (naturalLessOrEqual
815 (niExtent slots system layout edges)
816 available)))))))))))))))))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.