366def dataParallelWordsIdentity =
367 (lambda unrestricted words : (family StdList StdU64) .
368 (bytes-append
369 (pointwiseIdentityWord (stdListLength StdU64 words))
370 (stdListFold
371 StdU64
372 Bytes
373 (lambda unrestricted word : StdU64 .
374 (lambda unrestricted tail : Bytes . (bytes-append (dataBytesWord64LE word) tail)))
375 b""
376 words)))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.