AlphaGitHub
Source/Packages

Runtime.NativeDataParallelOwnedTree

packages/execution/src/Runtime/NativeDataParallelOwnedTree.alpha

979 lines34 declarations47.0 KiBSHA-256 5e555474696d
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 370–376

dpotCommitmentBytes

Full file
370def dpotCommitmentBytes =
371  (lambda unrestricted c : Nat .
372    (lambda unrestricted u : Nat .
373      (lambda unrestricted system : (family DataParallelSystem c u) .
374        (lambda unrestricted q : Nat .
375          (lambda unrestricted p : Nat .
376            (nativeTreeCommitmentBytesOf (dpoAgreedBytes c u system q p)))))))

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.