582def nativeTelemetryPolicyFillSelected =
583 (lambda unrestricted applicationBytes : Nat .
584 (lambda unrestricted ordinaryCapacity : Nat .
585 (lambda unrestricted reservedCapacity : Nat .
586 (lambda unrestricted recipe : (family TelemetryRecordPlan) .
587 (lambda unrestricted values : (family NativeTelemetrySourceValues) .
588 (lambda unrestricted enabled : Nat .
589 (lambda unrestricted decisionAt : Nat .
590 (lambda unrestricted identity : Bytes .
591 (lambda unrestricted tail : (family NativePhysicalCommands) .
592 (aosChoose
593 (family NativePhysicalCommands)
594 enabled
595 (nativeLaunchRecipeCommand
596 (constructor
597 NativePhysicalOperation
598 NativePhysicalRepeatBeginCounted
599 (nativeTelemetryPolicyLoad decisionAt))
600 identity
601 (nativeTelemetryFillSources
602 applicationBytes
603 ordinaryCapacity
604 reservedCapacity
605 recipe
606 values
607 (naturalAdd decisionAt captureWordBytes)
608 identity
609 (nativeLaunchRecipeCommand
610 (constructor NativePhysicalOperation NativePhysicalRepeatEnd)
611 identity
612 tail)))
613 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.