def tu32

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

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/num.bend as N
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as X

796def tu32(r: Result<&2, &2, N.NumError, W.U64>) -> Result<&2, &2, N.NumError, U32>:
797  match r:
798    case Fail{e}:
799      Fail{e}
800    case Done{+w}:
801      tu32_w(w, U32.is_zero(X.hi(w)))