def lo
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/blamka.bend as Blamkaimport Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/types.bend as T
8# The low half of a lane (trunc in RFC 9106).
9def lo(x: T.Lane) -> U32:
10 match x:
11 case T.W{l,h}: l
Uses (2)
Used by (5)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/argon2:step
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/fill:ixi
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/fill:ixi_mid
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/fill:mid_eq
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/index:lo_eq