1439def chCommandsWithSession =
1440 (lambda unrestricted layout : (family CoordinateHostLayout) .
1441 (lambda unrestricted worker : Nat .
1442 (lambda unrestricted address : Bytes .
1443 (lambda unrestricted resume : Nat .
1444 (lambda unrestricted steps : Nat .
1445 (lambda unrestricted forward : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
1446 (lambda unrestricted backward : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
1447 (lambda unrestricted update : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
1448 (lambda unrestricted prepare : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
1449 (lambda unrestricted finish : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
1450 (chStart
1451 layout
1452 worker
1453 resume
1454 (nativeFloat64RequireFinite
1455 (nativeMemoryLoad (chWeight layout))
1456 nativePeerScratchSlot
1457 b"coordinate-parameter-nonfinite"
1458 (nativeFloat64RequireFinite
1459 (nativeMemoryLoad (chAccumulator layout))
1460 nativePeerScratchSlot
1461 b"coordinate-accumulator-nonfinite"
1462 (chConstants
1463 layout
1464 worker
1465 (prepare
1466 (nativePeerSetup
1467 worker
1468 address
1469 (chEndpoint layout)
1470 (chStore
1471 (chScratch layout)
1472 (nativeLaunchRecipeImmediate 1)
1473 (nativeSocketRequireZero
1474 (nativeSocketNoDelay
1475 chConnection
1476 (nativeMemoryState (chScratch layout))
1477 (nativeLaunchRecipeStore nativePeerScratchSlot))
1478 nativePeerScratchSlot
1479 b"coordinate-tcp-nodelay"
1480 (chRounds
1481 layout
1482 worker
1483 steps
1484 forward
1485 backward
1486 update
1487 (finish (chFinish layout worker resume)))))))))))))))))))))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.