142def cdProduct =
143 (lambda unrestricted gpu : (family NvidiaPlanHostLayout) .
144 (lambda unrestricted entry : Nat .
145 (lambda unrestricted data : Nat .
146 (lambda unrestricted inputOffset : Nat .
147 (lambda unrestricted targetOffset : Nat .
148 (lambda unrestricted outputOffset : Nat .
149 (lambda unrestricted end : Nat .
150 (lambda unrestricted weight : Nat .
151 (lambda unrestricted input : (family NvidiaLinearScalarInput) .
152 (lambda unrestricted destination : Nat .
153 (nlsEvaluateScalar
154 b"coordinate-device-arithmetic"
155 gpu
156 entry
157 data
158 inputOffset
159 targetOffset
160 outputOffset
161 (cdCounter end)
162 (cdScratch end)
163 (constructor
164 NvidiaLinearScalarInput
165 NvidiaLinearScalarBinary64
166 (nativeMemoryLoad weight))
167 input
168 (constructor NvidiaLinearScalarInput NvidiaLinearScalarNatural 0)
169 cdProductResult
170 destination)))))))))))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.