447def stdF64IsZero =
448 (lambda unrestricted value : (family ModelFloat64Bits) .
449 (eliminate
450 ModelFloat64Bits
451 (lambda unrestricted current : (family ModelFloat64Bits) . Nat)
452 value
453 (branch
454 ModelFloat64BitsValue
455 b0
456 b1
457 b2
458 b3
459 b4
460 b5
461 b6
462 b7
463 .
464 (stdFlagAnd
465 (byte-equal b0 (byte 0))
466 (stdFlagAnd
467 (byte-equal b1 (byte 0))
468 (stdFlagAnd
469 (byte-equal b2 (byte 0))
470 (stdFlagAnd
471 (byte-equal b3 (byte 0))
472 (stdFlagAnd
473 (byte-equal b4 (byte 0))
474 (stdFlagAnd
475 (byte-equal b5 (byte 0))
476 (stdFlagAnd
477 (byte-equal b6 (byte 0))
478 (stdFlagOr (byte-equal b7 (byte 0)) (byte-equal b7 (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.