chWithLayout checks the complete global program and every frame binding
before either role's artifact is emitted. These lowerings use that admitted
projection; they cannot independently select a peer or reorder messages.
1279def chRound =
1280 (lambda unrestricted layout : (family CoordinateHostLayout) .
1281 (lambda unrestricted worker : Nat .
1282 (lambda unrestricted forward : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
1283 (lambda unrestricted backward : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
1284 (lambda unrestricted update : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
1285 (nativeProtocolCommands
1286 (family CoordinateRoundOperation)
1287 (family RegionFrameLayout)
1288 (family ProtocolNoDecision)
1289 (chLocalRound layout forward backward update)
1290 chTransferRound
1291 nativeProtocolNoFrameDecisions
1292 b"coordinate-protocol"
1293 (chProjectedRound layout worker)))))))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.