def hi
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
317def hi(x: T.Lane) -> U32:
318 match x:
319 case T.W{l, h}:
320 h
Uses (2)
Used by (5)
- 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:ix_eq
- 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/index:hi_eq