The learner's identity: its rule and every owner's samples in order.
Evaluation order is not part of it; a realization adds its numerical
contract beside it.
416def dataParallelIdentity =
417 (lambda unrestricted contribution : Nat .
418 (lambda unrestricted update : Nat .
419 (lambda unrestricted system : (family DataParallelSystem contribution update) .
420 (bytes-append
421 b"alpha-data-parallel-v1;"
422 (bytes-append
423 (dataParallelRuleIdentity contribution update system)
424 (stdListFold
425 (family StdList (family StdList StdU64))
426 Bytes
427 (lambda unrestricted owned : (family StdList (family StdList StdU64)) .
428 (lambda unrestricted rest : Bytes .
429 (bytes-append
430 (pointwiseIdentityWord (stdListLength (family StdList StdU64) owned))
431 (bytes-append (dataParallelSamplesIdentity owned) rest))))
432 b""
433 (dataParallelOwnerSamples contribution update system)))))))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.