def byte
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
191def byte(+b: U32) -> Nat:
192 U32.to_nat(U32.and(b, 255))
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
191def byte(+b: U32) -> Nat:
192 U32.to_nat(U32.and(b, 255))