def lt

import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64

import Base

557def lt(+x: F64, +y: F64) -> Bool:
558  lt_z(x, y, unordered(x, y), zeros(x, y))

Uses (5)