def eq_z

bend-collections-laws-crypto@1.0.0.0 · src/math/f64.bend:572

import Base

572def eq_z(+x: F64, +y: F64, bad: Bool, z: Bool) -> Bool:
573  match bad z:
574    case True{} _:
575      False{}
576    case False{} True{}:
577      True{}
578    case False{} False{}:
579      Bool.and(U32.is_eq(word_lo(x), word_lo(y)), U32.is_eq(word_hi(x), word_hi(y)))