~/jendhub

def U8.shr

bend-kit-int@0.2.0.0 · int.bend:869

import bend-kit-int@0.2.0.0/int.bend as Int
import Base

869def U8.shr(a: U8, k: Nat) -> U8:
870  match a:
871    case U8{x}:
872      U8{U32.shrn(x, k)}

Uses (3)

Used by (0)

No other definition uses this definition.