AlphaGitHub
Source/Packages

Std.Float

packages/foundation/standard/src/Std/Float.alpha

655 lines58 declarations25.1 KiBSHA-256 98de1bd43fa8
Download exact fileView at revisionf5034773ad4bb52133

def · lines 386–403

stdF64ToWord64

Full file
386def stdF64ToWord64 =
387  (lambda unrestricted value : (family ModelFloat64Bits) .
388    (eliminate
389      ModelFloat64Bits
390      (lambda unrestricted current : (family ModelFloat64Bits) . (family ModelWord64))
391      value
392      (branch
393        ModelFloat64BitsValue
394        b0
395        b1
396        b2
397        b3
398        b4
399        b5
400        b6
401        b7
402        .
403        (constructor ModelWord64 ModelWord64Value 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.