def le_z

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

import Base

560def le_z(+x: F64, +y: F64, bad: Bool, z: Bool) -> Bool:
561  match bad z:
562    case True{} _:
563      False{}
564    case False{} True{}:
565      True{}
566    case False{} False{}:
567      le_s(x, y, signbit(x), signbit(y))