~/jendhub

def U8.shl

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

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

864def U8.shl(a: U8, k: Nat) -> U8:
865  match a:
866    case U8{x}:
867      U8{U32.and(U32.shln(x, k), 255)}

Uses (4)

Used by (0)

No other definition uses this definition.