def dig1
import bend-collections@1.0.0.0/src/math/w64.bend as W64import Base
116def dig1(+lo: U32) -> Nat:
117 U32.to_nat(U32.shrn(lo, 16n))
import bend-collections@1.0.0.0/src/math/w64.bend as W64import Base
116def dig1(+lo: U32) -> Nat:
117 U32.to_nat(U32.shrn(lo, 16n))