206def binaryFloatIsInfinite =
207 (lambda unrestricted format : (family BinaryFloatFormat) .
208 (lambda unrestricted bits : Nat .
209 (modelAnd
210 (binaryFloatExponentAllOnes format bits)
211 (specIsZero (binaryFloatFraction format bits)))))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.