1151def nativePhysicalValidationTelemetryFor =
1152 (lambda unrestricted program : (family NativePhysicalProgram) .
1153 (lambda unrestricted failures : Nat .
1154 (lambda unrestricted ordinal : Nat .
1155 (lambda unrestricted code : Bytes .
1156 (eliminate
1157 NativePhysicalProgram
1158 (lambda unrestricted current : (family NativePhysicalProgram) .
1159 (family NativePhysicalValidationTelemetry))
1160 program
1161 (branch
1162 NativePhysicalProgramValue
1163 stateExtent
1164 resultSlots
1165 commands
1166 expected
1167 identity
1168 fallbacks
1169 .
1170 (constructor
1171 NativePhysicalValidationTelemetry
1172 NativePhysicalValidationTelemetryValue
1173 (nativePhysicalCommandsCounts commands)
1174 expected
1175 stateExtent
1176 resultSlots
1177 fallbacks
1178 identity
1179 failures
1180 ordinal
1181 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.