164def peerCoordinatorWith =
165 (lambda unrestricted local : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
166 (lambda unrestricted descriptor : (family NativePhysicalOperand) .
167 (lambda unrestricted wrongMean : Nat .
168 (lambda unrestricted initial : (family RegionFrameLayout) .
169 (lambda unrestricted contribution : (family RegionFrameLayout) .
170 (lambda unrestricted updated : (family RegionFrameLayout) .
171 (lambda unrestricted work : Nat .
172 (lambda unrestricted tail : (family NativePhysicalCommands) .
173 (let unrestricted weight =
174 (framePayloadAt initial)
175 in
176 (let unrestricted numerator =
177 (framePayloadAt contribution)
178 in
179 (let unrestricted mass =
180 (naturalAdd numerator peerWordBytes)
181 in
182 (let unrestricted rate =
183 (naturalAdd work peerWordBytes)
184 in
185 (let unrestricted total =
186 (naturalAdd rate peerWordBytes)
187 in
188 (peerIO
189 descriptor
190 1
191 initial
192 (peerIO
193 descriptor
194 0
195 contribution
196 (nativeFrameConsume
197 contribution
198 (nativeLaunchRecipeAssertEqual
199 (frameNativeLoad mass)
200 (nativeLaunchRecipeImmediate 2)
201 b"peer-sample-coverage"
202 (local
203 (peerNatural
204 work
205 1
206 (peerNatural
207 rate
208 4
209 (peerBinary
210 peerDivide
211 rate
212 work
213 rate
214 (nat-eliminate
215 (lambda unrestricted n : Nat .
216 (family NativePhysicalCommands))
217 (peerNatural
218 total
219 3
220 (peerBinary
221 peerAdd
222 numerator
223 (framePayloadAt updated)
224 numerator
225 (peerBinary
226 peerDivide
227 numerator
228 numerator
229 total
230 (peerBinary
231 peerMultiply
232 numerator
233 rate
234 numerator
235 (peerBinary
236 peerSubtract
237 (framePayloadAt updated)
238 weight
239 numerator
240 (peerIO descriptor 1 updated tail))))))
241 (lambda unrestricted n : Nat .
242 (lambda unrestricted ignored : (family NativePhysicalCommands) .
243 (peerNatural
244 total
245 2
246 (peerBinary
247 peerDivide
248 numerator
249 numerator
250 total
251 (peerBinary
252 peerAdd
253 numerator
254 (framePayloadAt updated)
255 numerator
256 (peerBinary
257 peerDivide
258 numerator
259 numerator
260 total
261 (peerBinary
262 peerMultiply
263 numerator
264 rate
265 numerator
266 (peerBinary
267 peerSubtract
268 (framePayloadAt updated)
269 weight
270 numerator
271 (peerIO descriptor 1 updated tail)))))))))
272 wrongMean))))))))))))))))))))))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.