1487def nativeDataParallelArtifact =
1488 (lambda unrestricted target : (family NativeHostTarget) .
1489 (lambda unrestricted resources : (family NativeResourceContext) .
1490 (lambda unrestricted c : Nat .
1491 (lambda unrestricted u : Nat .
1492 (lambda unrestricted system : (family DataParallelSystem c u) .
1493 (lambda unrestricted role : Nat .
1494 (lambda unrestricted addresses : (family StdList Bytes) .
1495 (lambda unrestricted resume : Nat .
1496 (lambda unrestricted epoch : Nat .
1497 (lambda unrestricted steps : Nat .
1498 (lambda unrestricted available : Nat .
1499 (let unrestricted edges =
1500 (nativePeerStarEdges role addresses)
1501 in
1502 (nat-eliminate
1503 (lambda unrestricted valid : Nat . Bytes)
1504 b""
1505 (lambda unrestricted previous : Nat .
1506 (lambda unrestricted ignored : Bytes .
1507 (dpWithStarLayout
1508 c
1509 u
1510 system
1511 role
1512 epoch
1513 available
1514 (lambda unrestricted layout : (family NativeDataParallelLayout) .
1515 (lambda unrestricted star : (family NativeDataParallelStarLayout) .
1516 (dpEmit
1517 target
1518 resources
1519 c
1520 u
1521 system
1522 layout
1523 star
1524 role
1525 edges
1526 resume
1527 steps
1528 available))))))
1529 (dpRunAdmitted c u system role addresses resume epoch steps))))))))))))))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.