AlphaGitHub
Source/Packages

Runtime.NativeDataParallel

packages/execution/src/Runtime/NativeDataParallel.alpha

1,529 lines92 declarations70.3 KiBSHA-256 a009e951c1b2
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 283–299

dpBaseAnchor

Full file
283def dpBaseAnchor =
284  (lambda unrestricted c : Nat .
285    (lambda unrestricted u : Nat .
286      (lambda unrestricted system : (family DataParallelSystem c u) .
287        (lambda unrestricted digest : Bytes .
288          (constructor
289            RegionTransferIdentity
290            RegionTransferIdentityOf
291            b"data-parallel"
292            digest
293            b"numerator-mass"
294            b"binary64-vector-and-mass"
295            (constructor LearningRound LearningRoundOf 1 0)
296            0
297            0
298            0
299            (constructor LogicalInterval LogicalIntervalOf 0 (dpOwners c u 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.