def shr_ge

bend-collections-laws-crypto@1.0.0.0 · src/math/w64.bend:256

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

256def shr_ge(+a: W.U64, +k: Nat, huge: Bool) -> W.U64:
257  match huge:
258    case True{}:
259      W.U64{0, 0}
260    case False{}:
261      W.U64{U32.shrn(hi(a), Nat.sub(k, 32n)), 0}