1450def dpEmit =
1451 (lambda unrestricted target : (family NativeHostTarget) .
1452 (lambda unrestricted resources : (family NativeResourceContext) .
1453 (lambda unrestricted c : Nat .
1454 (lambda unrestricted u : Nat .
1455 (lambda unrestricted system : (family DataParallelSystem c u) .
1456 (lambda unrestricted layout : (family NativeDataParallelLayout) .
1457 (lambda unrestricted star : (family NativeDataParallelStarLayout) .
1458 (lambda unrestricted role : Nat .
1459 (lambda unrestricted edges : (family StdList (family NativePeerEdge)) .
1460 (lambda unrestricted resume : Nat .
1461 (lambda unrestricted steps : Nat .
1462 (lambda unrestricted available : Nat .
1463 (dpEmitWith
1464 target
1465 resources
1466 c
1467 u
1468 system
1469 (constructor DataParallelTopology DataParallelStar)
1470 layout
1471 role
1472 edges
1473 steps
1474 available
1475 (lambda unrestricted extent : Nat .
1476 (lambda unrestricted tail : (family NativePhysicalCommands) .
1477 (dpStart c u system layout star extent resume tail)))
1478 (lambda unrestricted extent : Nat .
1479 (lambda unrestricted success : (family NativePhysicalCommands) .
1480 (planNativePeerRegionPublish
1481 (dpPublication c u system layout star resume edges)
1482 extent
1483 role
1484 success)))
1485 (constructor ArenaResidents ArenaResidentsEnd))))))))))))))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.