def lo
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/argon2.bend as Argon2import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/types.bend as T
312def lo(x: T.Lane) -> U32:
313 match x:
314 case T.W{l, h}:
315 l
Uses (2)
Used by (6)
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/argon2:step
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/fill:ixs
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/fill:ixs_mid
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/fill:ix_lt
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/fill:mid_eq
- …