Source/Packages

Std.Float

packages/foundation/standard/src/Std/Float.alpha

655 lines58 declarations25.1 KiBSHA-256 98de1bd43fa8

def · lines 532–534

stdF64IsFinite

Full file
532def stdF64IsFinite =
533  (lambda unrestricted value : (family ModelFloat64Bits) .
534    (stdFlagNot (stdF64ExponentAllOnes value)))

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.