402def dpotReleaseFor =
403 (lambda unrestricted c : Nat .
404 (lambda unrestricted u : Nat .
405 (lambda unrestricted system : (family DataParallelSystem c u) .
406 (lambda unrestricted digest : Bytes .
407 (lambda unrestricted q : Nat .
408 (lambda unrestricted p : Nat .
409 (lambda unrestricted fanout : Nat .
410 (lambda unrestricted tree : (family NativeDataParallelOwnedTreeLayout) .
411 (lambda unrestricted child : Nat .
412 (niFrameAt
413 (dpotIdentity
414 c
415 u
416 system
417 digest
418 q
419 p
420 3
421 (dpotParent fanout (dpOwners c u system) child)
422 child)
423 dpWord
424 (dpotRelease 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.