def fst_bytes
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/random.bend as Randomimport Base
74def fst_bytes(-G: Data, r: List<&2, U32> & G) -> List<&2, U32>:
75 (bs, g) = r
76 bs
Uses (4)
Used by (5)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/random/bytes:bytes
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/random:Random.bytes
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/random:Random.bytes_lt
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/random/bytes:bytes_lt
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/random/bytes:done_bytes