Host reference chooses no device lifecycle. GPU callers supply their
admitted, relocated setup and readback/release fragments explicitly.
1491def chCommands =
1492 (lambda unrestricted layout : (family CoordinateHostLayout) .
1493 (lambda unrestricted worker : Nat .
1494 (lambda unrestricted address : Bytes .
1495 (lambda unrestricted resume : Nat .
1496 (lambda unrestricted steps : Nat .
1497 (lambda unrestricted forward : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
1498 (lambda unrestricted backward : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
1499 (chCommandsWithSession
1500 layout
1501 worker
1502 address
1503 resume
1504 steps
1505 forward
1506 backward
1507 (chUpdate layout)
1508 (lambda unrestricted tail : (family NativePhysicalCommands) . tail)
1509 (lambda unrestricted tail : (family NativePhysicalCommands) . tail)))))))))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.