1262def chTransferRound =
1263 (lambda unrestricted direction : (family ProtocolDirection) .
1264 (lambda unrestricted identity : (family RegionTransferIdentity) .
1265 (lambda unrestricted layout : (family RegionFrameLayout) .
1266 (nativePeerIO
1267 chConnection
1268 (eliminate
1269 ProtocolDirection
1270 (lambda unrestricted current : (family ProtocolDirection) . Nat)
1271 direction
1272 (branch ProtocolSend . 1)
1273 (branch ProtocolReceive . 0))
1274 layout))))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.