131def nativeTelemetryHexSliceCellRoutine =
132 (lambda unrestricted width : Nat .
133 (lambda unrestricted reverse : Nat .
134 (lambda unrestricted offset : Nat .
135 (aosChoose
136 Bytes
137 (naturalAnd
138 (naturalNonzero width)
139 (naturalAnd
140 (naturalLessOrEqual width telemetryHexSourceMaximumBytes)
141 (naturalAnd
142 (naturalLessOrEqual reverse 1)
143 (naturalLessOrEqual (naturalAdd offset width) captureRecordBytes))))
144 (compiler-native-encode
145 (family X86NativeAssembly)
146 (telemetryValueAssemblyFor
147 (family X86NativeAssembly)
148 (family X86NativeRegister64)
149 valueX86Backend
150 (constructor
151 TelemetryValueRoutineKind
152 TelemetryValueSliceRoutine
153 width
154 reverse
155 offset)))
156 b""))))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.