2241def sm86ScaleProgramTelemetry =
2242 (lambda unrestricted telemetry : (family SM86ProgramEncodingTelemetry) .
2243 (lambda unrestricted count : Nat .
2244 (eliminate
2245 SM86ProgramEncodingTelemetry
2246 (lambda unrestricted current : (family SM86ProgramEncodingTelemetry) .
2247 (family SM86ProgramEncodingTelemetry))
2248 telemetry
2249 (branch
2250 SM86ProgramEncodingTelemetryValue
2251 instructions
2252 outputBytes
2253 fields
2254 bits
2255 highest
2256 .
2257 (constructor
2258 SM86ProgramEncodingTelemetry
2259 SM86ProgramEncodingTelemetryValue
2260 (naturalMultiply instructions count)
2261 (naturalMultiply outputBytes count)
2262 (naturalMultiply fields count)
2263 (naturalMultiply bits count)
2264 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.