def clz_pick

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

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

546def clz_pick(+a: W.U64, high: Bool) -> Nat:
547  match high:
548    case True{}:
549      Nat.sub(32n, bitlen(hi(a)))
550    case False{}:
551      Nat.sub(64n, bitlen(lo(a)))