1283def nativePhysicalValidationTelemetryFor =
1284 (lambda unrestricted program : (family NativePhysicalProgram) .
1285 (lambda unrestricted failures : Nat .
1286 (lambda unrestricted ordinal : Nat .
1287 (lambda unrestricted code : Bytes .
1288 (eliminate
1289 NativePhysicalProgram
1290 (lambda unrestricted current : (family NativePhysicalProgram) .
1291 (family NativePhysicalValidationTelemetry))
1292 program
1293 (branch
1294 NativePhysicalProgramValue
1295 stateExtent
1296 resultSlots
1297 commands
1298 expected
1299 identity
1300 fallbacks
1301 .
1302 (constructor
1303 NativePhysicalValidationTelemetry
1304 NativePhysicalValidationTelemetryValue
1305 (nativePhysicalCommandsCounts commands)
1306 expected
1307 stateExtent
1308 resultSlots
1309 fallbacks
1310 identity
1311 failures
1312 ordinal
1313 code)))))))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.