The learner's rule: both programs, initial parameters and state, rate.
379def dataParallelRuleIdentity =
380 (lambda unrestricted contribution : Nat .
381 (lambda unrestricted update : Nat .
382 (lambda unrestricted system : (family DataParallelSystem contribution update) .
383 (bytes-append
384 (pointwiseIdentityWord (dataParallelParameters contribution update system))
385 (bytes-append
386 (pointwiseIdentityWord (dataParallelWidth contribution update system))
387 (bytes-append
388 (pointwiseProgramIdentity
389 contribution
390 (dataParallelContributionProgram contribution update system))
391 (bytes-append
392 (pointwiseProgramIdentity
393 update
394 (dataParallelUpdateProgram contribution update system))
395 (bytes-append
396 (dataParallelWordsIdentity
397 (dataParallelInitialParameters contribution update system))
398 (bytes-append
399 (dataParallelWordsIdentity
400 (dataParallelInitialStateWords contribution update system))
401 (dataBytesWord64LE (dataParallelRateWord 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.