~/jendhub

def byte

bend-collections-laws-crypto@1.0.0.0 · src/crypto/secp256k1/bytes.bend:6

import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/bytes.bend as Bytes
import Base

6def byte(+b: U32) -> Nat:
7  U32.to_nat(U32.and(b, 255))

Uses (4)

Used by (9)