136def stdF32Equal =
137 (lambda unrestricted a : (family InferenceFloat32) .
138 (lambda unrestricted b : (family InferenceFloat32) .
139 (stdFlagAnd
140 (stdFlagNot (stdFlagOr (stdF32IsNaN a) (stdF32IsNaN b)))
141 (stdFlagOr (stdFlagAnd (stdF32IsZero a) (stdF32IsZero b)) (stdF32BitsEqual a b)))))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.