2318def sm86ScaleProgramTelemetry =
2319 (lambda unrestricted telemetry : (family SM86ProgramEncodingTelemetry) .
2320 (lambda unrestricted count : Nat .
2321 (eliminate
2322 SM86ProgramEncodingTelemetry
2323 (lambda unrestricted current : (family SM86ProgramEncodingTelemetry) .
2324 (family SM86ProgramEncodingTelemetry))
2325 telemetry
2326 (branch
2327 SM86ProgramEncodingTelemetryValue
2328 instructions
2329 outputBytes
2330 fields
2331 bits
2332 highest
2333 .
2334 (constructor
2335 SM86ProgramEncodingTelemetry
2336 SM86ProgramEncodingTelemetryValue
2337 (naturalMultiply instructions count)
2338 (naturalMultiply outputBytes count)
2339 (naturalMultiply fields count)
2340 (naturalMultiply bits count)
2341 highest)))))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.