---- start, restore, publication ----
1037def dpStoreWords =
1038 (lambda unrestricted at : Nat .
1039 (lambda unrestricted words : (family StdList StdU64) .
1040 (lambda unrestricted tail : (family NativePhysicalCommands) .
1041 (stdListFold
1042 StdU64
1043 (pi unrestricted index : Nat . (family NativePhysicalCommands))
1044 (lambda unrestricted word : StdU64 .
1045 (lambda unrestricted next : (pi unrestricted index : Nat . (family NativePhysicalCommands)) .
1046 (lambda unrestricted index : Nat .
1047 (nativeMemoryStoreWord64
1048 b"data-parallel-constant"
1049 (nativePointwiseAt at index)
1050 (nativeLaunchRecipeImmediate (modelWord64Natural word))
1051 (next (succ index))))))
1052 (lambda unrestricted index : Nat . tail)
1053 words
1054 0))))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.