53def stdF32FromWord32 =
54 (lambda unrestricted word : (family ModelWord32) .
55 (eliminate
56 ModelWord32
57 (lambda unrestricted current : (family ModelWord32) . (family InferenceFloat32))
58 word
59 (branch ModelWord32Value b0 b1 b2 b3 . (inferenceFloat32 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.