49def inferenceFloat32Zero =
50 (lambda unrestricted value : (family InferenceFloat32) .
51 (eliminate
52 InferenceFloat32
53 (lambda unrestricted current : (family InferenceFloat32) . Nat)
54 value
55 (branch
56 InferenceFloat32Bits
57 byte0
58 byte1
59 byte2
60 byte3
61 .
62 (inferenceFlagAnd
63 (inferenceFlagAnd
64 (inferenceFlagAnd
65 (inferenceByteEqual byte0 (byte 0))
66 (inferenceByteEqual byte1 (byte 0)))
67 (inferenceByteEqual byte2 (byte 0)))
68 (inferenceFlagOr
69 (inferenceByteEqual byte3 (byte 0))
70 (inferenceByteEqual byte3 (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.