def ref_lane

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/argon2/argon2.bend:287

import Base

287# l = J2 mod p, except in the first slice of the first pass (the current lane).
288def ref_lane(forced: Bool, +l: Nat, +j2: U32, +p: Nat) -> Nat:
289  match forced:
290    case True{}:
291      l
292    case False{}:
293      Nat.mod(U32.to_nat(j2), p)