373def dpContext =
374 (lambda unrestricted c : Nat .
375 (lambda unrestricted u : Nat .
376 (lambda unrestricted system : (family DataParallelSystem c u) .
377 (lambda unrestricted digest : Bytes .
378 (constructor
379 CheckpointEnvelopeContract
380 CheckpointEnvelopeContractValue
381 (bytes-append
382 b"data-parallel-replicated-f64-finite-rne-separate-v1;"
383 (bytes-append
384 (numericalExactContractDigest
385 (dpContract
386 (constructor DataParallelTopology DataParallelStar)
387 (dpOwners c u system)))
388 digest))
389 b"typed-sample-contributions;ordered-combine;typed-update"
390 b"immutable-partitioned-samples;one-pass-per-update"
391 b"declared-initial-parameters;no-randomness"
392 1
393 1
394 1)))))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.