The owner's samples, in order, and the constant 1.0 (sample mass).
1057def dpInitialize =
1058 (lambda unrestricted c : Nat .
1059 (lambda unrestricted u : Nat .
1060 (lambda unrestricted system : (family DataParallelSystem c u) .
1061 (lambda unrestricted layout : (family NativeDataParallelLayout) .
1062 (lambda unrestricted owner : Nat .
1063 (lambda unrestricted tail : (family NativePhysicalCommands) .
1064 (nativeFloat64Natural
1065 b"data-parallel-one"
1066 (dpOneAt c u system layout)
1067 1
1068 (dpStoreWords
1069 (dpSamplesAt c u system layout)
1070 (stdListFold
1071 (family StdList StdU64)
1072 (family StdList StdU64)
1073 (lambda unrestricted sample : (family StdList StdU64) .
1074 (lambda unrestricted rest : (family StdList StdU64) .
1075 (stdListAppend StdU64 sample rest)))
1076 (constructor StdList StdListEmpty StdU64)
1077 (dataParallelSamplesOf c u system owner))
1078 tail))))))))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.