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 305–315

dpAnchor

Full file
305def dpAnchor =
306  (lambda unrestricted c : Nat .
307    (lambda unrestricted u : Nat .
308      (lambda unrestricted system : (family DataParallelSystem c u) .
309        (lambda unrestricted digest : Bytes .
310          (lambda unrestricted topology : (family DataParallelTopology) .
311            (combineCoverageAnchor
312              (dpMembers (dpOwners c u system))
313              (combineNumericalAnchor
314                (dpContract topology (dpOwners c u system))
315                (dpBaseAnchor c u system digest))))))))

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.