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 61–74

stdF32ToWord32

Full file
61def stdF32ToWord32 =
62  (lambda unrestricted value : (family InferenceFloat32) .
63    (eliminate
64      InferenceFloat32
65      (lambda unrestricted current : (family InferenceFloat32) . (family ModelWord32))
66      value
67      (branch
68        InferenceFloat32Bits
69        b0
70        b1
71        b2
72        b3
73        .
74        (constructor ModelWord32 ModelWord32Value b0 b1 b2 b3))))

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.