def lt
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64import Base
557def lt(+x: F64, +y: F64) -> Bool:
558 lt_z(x, y, unordered(x, y), zeros(x, y))
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64import Base
557def lt(+x: F64, +y: F64) -> Bool:
558 lt_z(x, y, unordered(x, y), zeros(x, y))