1439def dpoLocalAdmitted =
1440 (lambda unrestricted owners : Nat .
1441 (lambda unrestricted layout : (family NativeDataParallelOwnedLayout) .
1442 (lambda unrestricted role : Nat .
1443 (lambda unrestricted operation : (family DataParallelOwnedOperation) .
1444 (eliminate
1445 DataParallelOwnedOperation
1446 (lambda unrestricted current : (family DataParallelOwnedOperation) . Nat)
1447 operation
1448 (branch DataParallelOwnedContribute . (naturalLess role owners))
1449 (branch
1450 DataParallelOwnedSum
1451 value
1452 .
1453 (nativeCombineLocalAdmitted (dpoSum layout) role value))
1454 (branch DataParallelOwnedUpdate . (naturalLess role owners))
1455 (branch DataParallelOwnedOffer . (naturalLess role owners))
1456 (branch
1457 DataParallelOwnedAssemble
1458 value
1459 .
1460 (nativeCombineLocalAdmitted (dpoAssemblePlacement layout) role value))
1461 (branch DataParallelOwnedInstall . (naturalLess role owners))
1462 (branch DataParallelOwnedMaterialize . (naturalLess role owners))
1463 (branch DataParallelOwnedRelease . (naturalLess role owners))
1464 (branch DataParallelOwnedProject . (naturalLess role owners))
1465 (branch
1466 DataParallelOwnedGradient
1467 target
1468 value
1469 .
1470 (nativeCombineLocalAdmitted (dpoGradientAt layout target) role value)))))))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.