1097def nativePhysicalImageArgumentsReadPayload =
1098 (lambda unrestricted arguments : (family NativePhysicalArguments) .
1099 (eliminate
1100 NativePhysicalArguments
1101 (lambda unrestricted current : (family NativePhysicalArguments) . Nat)
1102 arguments
1103 (branch
1104 NativePhysicalArgumentsValue
1105 arg0
1106 arg1
1107 arg2
1108 arg3
1109 arg4
1110 arg5
1111 .
1112 (naturalOr (nativePhysicalImageOperandReadsPayload arg0)
1113 (naturalOr (nativePhysicalImageOperandReadsPayload arg1)
1114 (naturalOr (nativePhysicalImageOperandReadsPayload arg2)
1115 (naturalOr (nativePhysicalImageOperandReadsPayload arg3)
1116 (naturalOr (nativePhysicalImageOperandReadsPayload arg4)
1117 (nativePhysicalImageOperandReadsPayload arg5)))))))))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.