AlphaGitHub
Source/Packages

Data.Float32Bits

packages/foundation/standard/src/Data/Float32Bits.alpha

150 lines18 declarations6.0 KiBSHA-256 cb470b6c294f
Download exact fileView at revisionf5034773ad4bb52133

def · lines 72–90

inferenceFloat32Finite

Full file
72def inferenceFloat32Finite =
73  (lambda unrestricted value : (family InferenceFloat32) .
74    (eliminate
75      InferenceFloat32
76      (lambda unrestricted current : (family InferenceFloat32) . Nat)
77      value
78      (branch
79        InferenceFloat32Bits
80        byte0
81        byte1
82        byte2
83        byte3
84        .
85        (inferenceFlagNot
86          (inferenceFlagAnd
87            (inferenceFlagOr
88              (inferenceByteEqual byte3 (byte 127))
89              (inferenceByteEqual byte3 (byte 255)))
90            (inferenceFlagNot (byte-less-than byte2 (byte 128))))))))

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.