790def nativeRegionMaterialize =
791 (lambda unrestricted plan : (family NativeRegionCheckpoint) .
792 (lambda unrestricted destinations : (family StdList (family NativeRegionDestination)) .
793 (lambda unrestricted scratch : Nat .
794 (lambda unrestricted tail : (family NativePhysicalCommands) .
795 (stdListFold
796 (family NativeRegionDestination)
797 (family NativePhysicalCommands)
798 (lambda unrestricted destination : (family NativeRegionDestination) .
799 (lambda unrestricted next : (family NativePhysicalCommands) .
800 (eliminate
801 NativeRegionDestination
802 (lambda unrestricted current : (family NativeRegionDestination) .
803 (family NativePhysicalCommands))
804 destination
805 (branch
806 NativeRegionDestinationOf
807 ordinal
808 interval
809 offset
810 .
811 (nativeRegionCopyInterval plan ordinal interval offset scratch next)))))
812 tail
813 destinations)))))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.