def with_ref

bend-collections-laws-crypto@1.0.0.0 · src/crypto/argon2/argon2.bend:247

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/types.bend as A

247def with_ref(r0: Bool, +cur: Nat, +prev: A.Block, pair: Array<U32> & A.Block) -> Array<U32>:
248  (a, +refb) = pair
249  store(r0, cur, prev, refb, a)