~/jendhub

def byte_and

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/ed25519/bytes.bend:111

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/bytes.bend as Bytes
import Base
import bend-collections-laws-crypto@1.0.0.0/proofs/math/hash/hash.bend as HH

111def byte_and(+x: U32) -> {Nat.is_le(v(U32.and(x, 255)), 255n) == True{} : Bool}:
112  HH.and_le32(x, 255)

Uses (6)

Used by (1)