def le

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

import Base

569def le(+x: F64, +y: F64) -> Bool:
570  le_z(x, y, unordered(x, y), zeros(x, y))

Uses (5)