378def dpotCommitmentFor =
379 (lambda unrestricted c : Nat .
380 (lambda unrestricted u : Nat .
381 (lambda unrestricted system : (family DataParallelSystem c u) .
382 (lambda unrestricted digest : Bytes .
383 (lambda unrestricted q : Nat .
384 (lambda unrestricted p : Nat .
385 (lambda unrestricted fanout : Nat .
386 (lambda unrestricted tree : (family NativeDataParallelOwnedTreeLayout) .
387 (lambda unrestricted child : Nat .
388 (niFrameAt
389 (dpotIdentity
390 c
391 u
392 system
393 digest
394 q
395 p
396 2
397 child
398 (dpotParent fanout (dpOwners c u system) child))
399 (dpotCommitmentBytes c u system q p)
400 (dpotCommitment tree)))))))))))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.