241def telemetryRecordHexPart =
242 (lambda unrestricted source : Nat .
243 (lambda unrestricted offset : Nat .
244 (lambda unrestricted width : Nat .
245 (lambda unrestricted reverse : Nat .
246 (lambda unrestricted nonzero : Nat .
247 (constructor
248 TelemetryRecordParts
249 TelemetryRecordHex
250 source
251 offset
252 width
253 reverse
254 nonzero
255 (constructor TelemetryRecordParts TelemetryRecordEnd)))))))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.