550def stdF64Equal =
551 (lambda unrestricted a : (family ModelFloat64Bits) .
552 (lambda unrestricted b : (family ModelFloat64Bits) .
553 (stdFlagAnd
554 (stdFlagNot (stdFlagOr (stdF64IsNaN a) (stdF64IsNaN b)))
555 (stdFlagOr (stdFlagAnd (stdF64IsZero a) (stdF64IsZero b)) (stdF64BitsEqual 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.