def tu32
import bend-collections@1.0.0.0/src/math/f64.bend as F64import Base
import bend-collections@1.0.0.0/src/math/num.bend as N
import bend-collections@1.0.0.0/src/math/u64.bend as W
import bend-collections@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)))