~/jendhub

def na_z

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

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

920def na_z(+x: F64, +y: F64, z: Bool) -> F64:
921  match z:
922    case True{}:
923      Bits{1, sgn(signbit(y))}
924    case False{}:
925      na_step(x, Bool.xor(lt(x, y), signbit(x)))

Uses (7)

Used by (1)