361def nativeTelemetrySourceScopesAdmission =
362 (lambda unrestricted applicationBytes : Nat .
363 (lambda unrestricted ordinaryCapacity : Nat .
364 (lambda unrestricted reservedCapacity : Nat .
365 (lambda unrestricted decisionAt : Nat .
366 (lambda unrestricted resultSlot : Nat .
367 (lambda unrestricted workSlot : Nat .
368 (lambda unrestricted recipe : (family TelemetryRecordPlan) .
369 (lambda unrestricted values : (family NativeTelemetrySourceValues) .
370 (nativeTelemetrySourceScopesWith
371 recipe
372 values
373 (nativeTelemetrySourceScopeAdmission
374 applicationBytes
375 ordinaryCapacity
376 reservedCapacity
377 decisionAt
378 resultSlot
379 workSlot))))))))))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.