350def peerRoundWith =
351 (lambda unrestricted local : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
352 (lambda unrestricted descriptor : (family NativePhysicalOperand) .
353 (lambda unrestricted worker : Nat .
354 (lambda unrestricted wrongMean : Nat .
355 (lambda unrestricted initial : (family RegionFrameLayout) .
356 (lambda unrestricted contribution : (family RegionFrameLayout) .
357 (lambda unrestricted updated : (family RegionFrameLayout) .
358 (lambda unrestricted acknowledged : (family RegionFrameLayout) .
359 (lambda unrestricted work : Nat .
360 (lambda unrestricted tail : (family NativePhysicalCommands) .
361 (let unrestricted after =
362 (peerStore
363 (framePayloadAt initial)
364 (frameNativeLoad (framePayloadAt updated))
365 tail)
366 in
367 (let unrestricted acknowledge =
368 (peerByRole
369 worker
370 (peerIO
371 descriptor
372 0
373 acknowledged
374 (nativeFrameConsume
375 acknowledged
376 (nativeLaunchRecipeAssertEqual
377 (frameNativeLoad (framePayloadAt acknowledged))
378 (frameNativeLoad (frameExpectedVersionAt updated))
379 b"peer-acknowledged-version"
380 after)))
381 (peerStore
382 (framePayloadAt acknowledged)
383 (frameNativeLoad (frameExpectedVersionAt updated))
384 (peerIO descriptor 1 acknowledged after)))
385 in
386 (peerByRole
387 worker
388 (peerCoordinatorWith
389 local
390 descriptor
391 wrongMean
392 initial
393 contribution
394 updated
395 work
396 acknowledge)
397 (peerWorkerWith
398 local
399 descriptor
400 initial
401 contribution
402 updated
403 work
404 acknowledge))))))))))))))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.