~/jendhub

def Map.msb.u.if

Base · base.bend:2685

import Base
2685def Map.msb.u.if(p: Nat, x2: U32, z: Bool) -> Nat:
2686  match z:
2687    case True{}:
2688      0n
2689    case False{}:
2690      Nat.add(1n, Map.msb.u(p, U32.shr(x2)))

Uses (6)

Used by (1)