~/jendhub

def U32.shrn

Base · base.bend:1531

import Base
1531def U32.shrn(a: U32, n: Nat) -> U32:
1532  match n:
1533    case 0n:
1534      a
1535    case 1n+p:
1536      U32.shr(U32.shrn(a, p))

Uses (3)

Used by (842)