880def nativePhysicalValidationTelemetryFor =
881 (lambda unrestricted program : (family NativePhysicalProgram) .
882 (lambda unrestricted failures : Nat .
883 (lambda unrestricted ordinal : Nat .
884 (lambda unrestricted code : Bytes .
885 (eliminate
886 NativePhysicalProgram
887 (lambda unrestricted current : (family NativePhysicalProgram) .
888 (family NativePhysicalValidationTelemetry))
889 program
890 (branch
891 NativePhysicalProgramValue
892 stateExtent
893 resultSlots
894 commands
895 expected
896 identity
897 fallbacks
898 .
899 (constructor
900 NativePhysicalValidationTelemetry
901 NativePhysicalValidationTelemetryValue
902 (nativePhysicalCommandsCounts commands)
903 expected
904 stateExtent
905 resultSlots
906 fallbacks
907 identity
908 failures
909 ordinal
910 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.