~/jendhub

def U32.shln

Base · base.bend:1524

import Base
1524def U32.shln(a: U32, n: Nat) -> U32:
1525  match n:
1526    case 0n:
1527      a
1528    case 1n+p:
1529      U32.shl(U32.shln(a, p))

Uses (3)

Used by (674)