189def nativeTelemetryWord32ToWord64 =
190 (lambda unrestricted value : (family ModelWord32) .
191 (eliminate
192 ModelWord32
193 (lambda unrestricted current : (family ModelWord32) . (family ModelWord64))
194 value
195 (branch
196 ModelWord32Value
197 byte0
198 byte1
199 byte2
200 byte3
201 .
202 (constructor
203 ModelWord64
204 ModelWord64Value
205 byte0
206 byte1
207 byte2
208 byte3
209 (byte 0)
210 (byte 0)
211 (byte 0)
212 (byte 0)))))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.