def lt_s
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as X
520def lt_s(+x: F64, +y: F64, sa: Bool, sb: Bool) -> Bool:
521 match sa sb:
522 case True{} False{}:
523 True{}
524 case False{} True{}:
525 False{}
526 case False{} False{}:
527 X.lt(mag(x), mag(y))
528 case True{} True{}:
529 X.lt(mag(y), mag(x))