274def peerWorkerWith =
275 (lambda unrestricted local : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
276 (lambda unrestricted descriptor : (family NativePhysicalOperand) .
277 (lambda unrestricted initial : (family RegionFrameLayout) .
278 (lambda unrestricted contribution : (family RegionFrameLayout) .
279 (lambda unrestricted updated : (family RegionFrameLayout) .
280 (lambda unrestricted work : Nat .
281 (lambda unrestricted tail : (family NativePhysicalCommands) .
282 (let unrestricted weight =
283 (framePayloadAt initial)
284 in
285 (let unrestricted numerator =
286 (framePayloadAt contribution)
287 in
288 (let unrestricted mass =
289 (naturalAdd numerator peerWordBytes)
290 in
291 (peerIO
292 descriptor
293 0
294 initial
295 (nativeFrameConsume
296 initial
297 (local
298 (peerStore
299 mass
300 (nativeLaunchRecipeImmediate 2)
301 (peerIO
302 descriptor
303 1
304 contribution
305 (peerIO descriptor 0 updated (nativeFrameConsume updated 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.