367def stdF64FromWord64 =
368 (lambda unrestricted word : (family ModelWord64) .
369 (eliminate
370 ModelWord64
371 (lambda unrestricted current : (family ModelWord64) . (family ModelFloat64Bits))
372 word
373 (branch
374 ModelWord64Value
375 b0
376 b1
377 b2
378 b3
379 b4
380 b5
381 b6
382 b7
383 .
384 (constructor ModelFloat64Bits ModelFloat64BitsValue b0 b1 b2 b3 b4 b5 b6 b7))))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.