def Ws.byte

bend-kube-runtime@0.2.0.0 · src/ws.bend:58

import Base

58# The nth byte of x, counting from the low end.
59def Ws.byte(+x: U32, n: Nat) -> U32:
60  U32.mod(U32.shrn(x, Nat.mul(8n, n)), 256)