def le_s

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

import Base
import bend-collections-laws-math@1.0.0.0/src/math/w64.bend as X

531def le_s(+x: F64, +y: F64, sa: Bool, sb: Bool) -> Bool:
532  match sa sb:
533    case True{} False{}:
534      True{}
535    case False{} True{}:
536      False{}
537    case False{} False{}:
538      X.le(mag(x), mag(y))
539    case True{} True{}:
540      X.le(mag(y), mag(x))